After analyzing the basic heuristics used in DPLL and its advanced reasoning techniques, we presented a modified FLD procedure with our Dynamic Filtering heuristic.

• 并在此基础上,针对高级推理过程,提出了具有动态删除策略的改进了的失败性文字检查(FLD)过程。