机译:基于MDD的正负表约束和一些全局约束的广义弧一致性算法
机译:基于MDD的SAT编码,用于伪布尔约束具有大多数关系
机译:序列约束的MDD传播
机译:用于表格和MDD约束的GAC-4
机译:惯常谈判:在欧盟理事会上将国内约束放到桌面上。
机译:可以约束网络分析指导知识识别阶段?提高内部β-葡聚糖酶热稳定性的案例研究
机译:针对表和MDD约束改进GAC-4
机译:评估新计算的氦氧减压表的深度大于已公布的表格中所提供的,改进的再循环系统的有效性以及在这些深度上通过高度训练和条件潜水员完成有用工作的可行性,