Disjunctive closures for knowledge compilation.

Hélène Fargier Pierre Marquis

Published in: Artif. Intell. (2014)

Keyphrases

knowledge compilation
product configuration
prime implicates
model counting
logical inference
polynomial size
quantified boolean formulae
normal form
horn formulas
binary decision diagrams
prime implicants
database
model checking
boolean functions
answer sets
cnf formula