Two Heuristic Strategies for Solving Satisfiability Problem

• 求解可满足性问题的两个启发式策略