Knowledge Compilation to Speed Up Numerical Optimisation.

Giuseppe Cerbone Thomas G. Dietterich

Published in: AI*IA (1991)

Keyphrases

knowledge compilation
product configuration
prime implicates
quantified boolean formulae
normal form
polynomial size
logical inference
model counting
decomposable negation normal form
machine learning
decision support system
knowledge base
decision support
binary decision diagrams