satisfiability; backtracking; conflict-driven conflict learning;
机译:CDCL SAT溶剂中细粒嵌套并联性的研究
机译:通过CDCL SAT求解器中的单位传播进行子句化
机译:了解QBF CDCL溶剂和QBF分辨率的相对强度
机译:在CDCL求解器中部分回溯
机译:通过利用CDCL的经验特性来改进SAT解算器。
机译:解决随机K-SAT问题的回溯测量传播算法
机译:CDCL SAT溶剂中的单位传播中的条款vivization