Boolean satisfiability; Conjunctive normal form; Convex function; Linear programming; Multi-valued logic; NP problem; Time complexity;
机译:关于约束编程的通用化和布尔可满足性求解技术,以调度由多模式作业组成的资源受限项目
机译:使用约束编程和布尔可满足性的分组技术中的单元格形成
机译:使用量化布尔可满足性的FPGA可编程逻辑块评估
机译:布尔满足性问题的线性规划配方
机译:通过布尔可满足性和二次编程自动分配共振
机译:线性规划研究随机可满足性问题的典型算法复杂度的相变
机译:布尔可满足性问题的线性规划公式
机译:在对称性存在下解决布尔可满足性的难点实例