蕴含图与归结式

标签：归结 Efficient Matthew 蕴含 talks 279

 

 

 

 

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

 

 

 

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

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

 

标签：归结,Efficient,Matthew,蕴含,talks,279
From： https://www.cnblogs.com/yuweng1689/p/16891840.html