Back to Results
First PageMeta Content
Mathematics / Mathematical logic / Theoretical computer science / Automated theorem proving / Boolean algebra / Logic programming / Resolution / True quantified Boolean formula / Clause / Conflict-Driven Clause Learning / DPLL algorithm


Preprocessing Techniques for QBFs Enrico Giunchiglia1 , Paolo Marin1 , and Massimo Narizzano1 DIST - Universit`a di Genova Viale Causa 13, 16145 Genova, Italy Abstract
Add to Reading List

Document Date: 2008-12-04 03:03:35


Open Document

File Size: 195,95 KB

Share Result on Facebook
UPDATE