SAT问题在人工智能，集成电路优化设计，基因计算等众多领域都有重要的应用。SAT问题求解一般都用DPLL方法。DPLL方法不是多项式时间算法，必将被子句消去法替代。DPLL是有回溯的的指数型时间复杂度算法，而子句消去法最坏的情况出现在子句块中全无唯一解变量的时候，而这时只要判断关联变量可选解就可以。关联变量有唯一可选解，就可以直接确定这个变量值，消去子句。变量全是两个可选接时，可以任选一个变量的值用子句消去法就可以得到满足解。子句消去法没有任何不确定性，如果SAT无解，求解过程中就可以判断出来，不用再重复。

子句消去法是解决SAT计算的多项式时间算法。