肌动蛋白 - 技术报告
摘要：用改进的DPLL算法可以有效地解决布尔可满足性问题（SAT）。对于工业级的SAT问题，具有冲突分析依赖动态决策启发式的DPLL算法被证明特别高效，例如在Chaff中。本文使用遗传编程（GP）演化分析CNF的算法来初始化求解器MiniSAT v1.14中的变量活动值，目的是减少搜索的总冲突数和解决时间。通过使用随机数进行初始化，探讨了与零不同的初始活动值的影响。研究了通过改进初始化方法来抵消重新排列CNF的不利影响的可能性。在验证测试中找到的最佳结果被用于求解器Actin，该求解器被提交到SAT-Race 2006。
作者：Raihan H. Kibria
论文ID：0705.1481
分类：Neural and Evolutionary Computing
分类简称：cs.NE
提交时间：2007-05-23