To improve the efficiency of SAT solver, a new method using observability don't CARES is presented.
为了提高可满足性求解器的效率，提出了一种利用电路可观无关性的方法。
Experiments show that, the new SAT solver performs well on various problems and is a promising algorithm.
实验表明，该算法在在求解多个实例中的表现不错，为求解SAT问题提供了一个新的思路。
It compared several algorithms of SAT solvers and selected the algorithm with higher efficiency and better suitability for all-solution SAT solver.
对可满足性求解器算法进行比较，从中选择了效率较高且适用于全解求解器的算法。
应用推荐