Knowledge Compilation Using the Extension Rule.

Hai Lin Jigui Sun

Published in: J. Autom. Reason. (2004)

Keyphrases

horn formulas
knowledge compilation
product configuration
normal form
polynomial size
quantified boolean formulae
model counting
prime implicates
logical inference
association rules
global constraints
database
search algorithm
decision making
query language
decision support
binary decision diagrams
machine learning