...-知来论文发表中心 Keywords: SAT-solver, local search, clause weighting, adaptive heuristic [gap=447]关键词：SAT解算器，本地搜索，第比重，自适应启发式 ...
基于12个网页-相关网页
The calculating engine of the proposed algorithm is SAT-Solver.
改进算法用SAT解答器作为计算引擎。
Experiments show that, the new SAT solver performs well on various problems and is a promising algorithm.
实验表明，该算法在在求解多个实例中的表现不错，为求解SAT问题提供了一个新的思路。
To improve the efficiency of SAT solver, a new method using observability don't CARES is presented.
为了提高可满足性求解器的效率，提出了一种利用电路可观无关性的方法。
应用推荐