Knowledge Compilation with Empowerment.

Lucas Bordeaux João Marques-Silva

Published in: SOFSEM (2012)

Keyphrases

knowledge compilation
product configuration
prime implicates
quantified boolean formulae
logical inference
model counting
polynomial size
normal form
binary decision diagrams
horn formulas
databases
natural language
natural language processing
constraint satisfaction