...
机译:基于满意度的布尔优化算法
Department of Informatics, Technical University of Lisbon, IST/INESC, Lisbon, Portugal;
binate covering problem; propositional satisfiability; branch-and-bound; backtrack search; non-chronological backtracking;
机译:基于多级伪布尔可满足性的分段信道路由方法
机译:基于最佳布尔晶格的U形曲线优化问题的算法
机译:布尔词典优化:算法与应用
机译:基于可满足性的算法,使用Gomory割和搜索重新启动进行伪布尔优化
机译:布尔和伪布尔函数的算法和复杂度结果。
机译:使用基于文献的知识和遗传算法优化方法进行布尔监管网络重构
机译:基于可满足性的伪布尔优化算法使用Gomory Cuts和search Restart