蕴含图与归结式

附：一篇相关的参考文献：

• Paul Beame, Ashish Sabharwal:
  Non-Restarting SAT Solvers with Simple Preprocessing Can Efficiently Simulate Resolution. AAAI 2014: 2608-2615
  
  

------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

 

 

 一、学习蕴含图的主要参考文献 

1. Lintao Zhang, Conor F. Madigan, Matthew W. Moskewicz, Sharad Malik:

Efficient Conflict Driven Learning in Boolean Satisfiability Solver. ICCAD 2001: 279-285

2. http://fmv.jku.at/biere/talks/Biere-ATVA19-tutorial.pdf

二、蕴含图的主要概念和切割线类型

 

三、蕴含图与归结式

 四、练习——阅读蕴含图回答后续问题