UnitWalk主页

本地搜索由引导单位条款消除

README文件

UnitWalk 0.98源代码分发（添加了增量2SAT算法[Zheng，Stuckey，2003年]并与WalkSAT【塞尔曼、考茨、科恩，1994年】，提交给2002年SAT竞赛)[上次错误修复10.03.2002]

UnitWalk 0.981源代码分发（添加了实现增量2SAT算法【Zheng，Stuckey，2003】并与WalkSAT【塞尔曼、考茨、科恩，1994年】，提交给2003年SAT竞赛)[上次错误修复2007年7月9日]

UnitWalk 1.003源代码分发（使用Watched Literals对大型公式实现进行了高度优化[莫斯科，Madigan，Zhao，Zhang，Malik，2001年]并与WalkSAT相结合【塞尔曼、考茨、科恩，1994年】，提交给2004年SAT竞赛)[最后一个错误修复程序07.04.2004]

论文

• E.A.Hirsch、A.Kojevnikov、，UnitWalk:使用局部的新SAT解算器以单位子句消除为指导的搜索。数学与人工智能年鉴43（1-4）：91-1112005。

  初步版本作为PDMI预印本出现2001年9月，Steklov数学研究所圣彼得堡电子地址：ftp://ftp.pdmi.ras.ru/pub/publicat/prepint/2001/09-01.ps.gz.此预印本的更短（但更新更多）版本出现在电子诉讼属于2002年国家统计局.

• Edward A.Hirsch和Arist Kojevnikov， 用局部搜索求解布尔可满足性单位条款消除第七届国际原则会议和约束编程实践（CP’01），2001年11月。

Arist Kojevnikov主页