First Page | Document Content | |
---|---|---|
Date: 2008-12-16 11:06:34Automated 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 AbstractAdd to Reading ListSource URL: tmancini.di.uniroma1.itDownload Document from Source WebsiteFile Size: 195,95 KBShare Document on Facebook |