Knowledge Compilation, Width and Quantification.

Florent Capelli Stefan Mengel

Published in: CoRR (2018)

Keyphrases

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