Algorithms for Deriving Minimum Unsatisfiable Boolean Subformulae
ZHANG Jian-min;SHEN Sheng-yu;LI Si-kun
Acta Electronica Sinica ›› 2009, Vol. 37 ›› Issue (5) : 993-999.
Algorithms for Deriving Minimum Unsatisfiable Boolean Subformulae
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |