Cliquewidth and Knowledge Compilation.

Igor Razgon Justyna Petke

Published in: SAT (2013)

Keyphrases

knowledge compilation
product configuration
prime implicates
model counting
knowledge based systems
logical inference
normal form
polynomial size
horn formulas
decision support
quantified boolean formulae
constraint satisfaction
machine learning