Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae.

Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis

Browse the full AAAI paper archive.