On the Role of Canonicity in Bottom-up Knowledge Compilation.

Guy Van den Broeck Adnan Darwiche

Published in: CoRR (2014)

Keyphrases

knowledge compilation
product configuration
prime implicates
model counting
logical inference
constraint satisfaction problems
quantified boolean formulae
normal form
database
database systems
decision support
industrial applications