Computer Aided Engineering: Computer-Aided Design; Algorithms; Design; Verification; Boolean Satisfiability; Verification; DPLL; NNF;
机译:解决SAT和SAT模理论:从抽象的Davis-Putnam-Logemann-Loveland过程到DPLL(T)
机译:随机XOR-SAT上DPLL的确切阈值以及XOR-SAT的NP完全扩展
机译:将GSAT应用于非月球公式
机译:使用DPLL,图形和观察切口对非子句公式进行有效的SAT求解
机译:用于子句学习SAT求解器的高效算法
机译:本周评论:观看侦探:霍乱之谜如何解决
机译:使用DpLL搜索解决非条件公式
机译:Dinkelbach NCUT:一个有效的框架,用于解决具有priors和凸度约束的标准化削减问题(预印本)