机译:通过CDCL SAT求解器中的单位传播进行子句化
School of Computer Science Huazhong University of Science and Technology Wuhan China MIS University of Picardie Jules Verne Amiens France;
School of Computer Science Huazhong University of Science and Technology Wuhan China;
Artificial Intelligence Research Institute (IIIA) Spanish Scientific Research Council (CSIC) Bellaterra Spain;
MIS University of Picardie Jules Verne Amiens France;
Satisfiability; Conflict-driven clause learning; Clause vivification; Redundant literal;
机译:UnitWalk:一种新的SAT求解器,使用通过单元子句消除指导的本地搜索
机译:CDCL SAT溶剂中细粒嵌套并联性的研究
机译:CDCL SAT索引中的动态对称处理静态对称性断裂
机译:用于CDCL SAT求解器的有效学习子句最小化方法
机译:通过利用CDCL的经验特性来改进SAT解算器。
机译:解决随机K-SAT问题的回溯测量传播算法
机译:CDCL SAT溶剂中的单位传播中的条款vivization