Login / Signup
Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae.
Sylvie Coste-Marquis
Daniel Le Berre
Florian Letombe
Pierre Marquis
Published in:
AAAI (2005)
Keyphrases
</>
quantified boolean formulae
knowledge compilation
propositional logic
prime implicates
model counting
normal form
polynomial size
prime implicants
first order logic
cnf formula
database
target language
binary decision diagrams
davis putnam
decomposable negation normal form