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)过程。
今日热词
目录 附录 查词历史