.基于 DPLL 的完備性 SAT 算法研究 （1）預處理：將公式轉換為對應的CNF （2）加速搜索的一些啟發式策略： BCP（Boolean Constraint Propagation，布爾約束傳播）、變量決策策略、沖突分析、子句學習、回溯機制 （3）子句刪除機制 （4）隨機重啟動機制