Duality in Knowledge Compilation Techniques.

Neil V. Murray Erik Rosenthal

Published in: ISMIS (2005)

Keyphrases

knowledge compilation
product configuration
prime implicates
linear programming
model counting
logical inference
quantified boolean formulae
horn formulas
polynomial size
knowledge based systems
binary decision diagrams
database
normal form
computational complexity
expert systems