satisfiability solving; propositional logic; automated decision procedures;
机译:关于约束编程的通用化和布尔可满足性求解技术,以调度由多模式作业组成的资源受限项目
机译:布尔可满足性技术求解的晶体结构中的原子分布
机译:使用布尔可满足性技术的多路径检测
机译:布尔可满足求解器:技术和扩展
机译:扩展布尔可满足性求解器的功能:技术和应用。
机译:SPABBATS:一种基于布尔可满足性的途径发现方法有助于表征抑制突变体
机译:关于约束规划和布尔可满足性求解技术的推广,用于调度由多模式作业组成的资源受限项目
机译:在对称性存在下解决布尔可满足性的难点实例