一个求解SAT问题的新算法 |
| |
引用本文: | 张银丹,张浩军.一个求解SAT问题的新算法[J].数字社区&智能家居,2010(15). |
| |
作者姓名: | 张银丹 张浩军 |
| |
摘 要: | 基于对完备算法和非完备算法的研究,结合完备算法能够进行完备求解和不完备算法能够以较快速度进行求解的优点。提出一种新的求解SAT问题的算法——对子句分组、对分组求解的算法。该算法完备地对SAT子句分组,同时在分组求解时使用局部搜索方法以较快的速度求解。经过实验验证,结果表明该方法能明显提高求解效率。
|
本文献已被 CNKI 等数据库收录! |
|