基于寻找2-SAT子问题的SAT算法

【文件属性】：

文件名称：基于寻找2-SAT子问题的SAT算法

文件大小：209KB

文件格式：PDF

更新时间：2013-09-24 03:38:47

SAT 2-SAT问题 2-SAT算法

将SAT问题化为2-SAT子问题进行求解，算法效果比UnitWalk算法高效