附:一篇相关的参考文献:
- 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
二、蕴含图的主要概念和切割线类型
|
|
三、蕴含图与归结式
|
|
四、练习——阅读蕴含图回答后续问题
|
|