Representation Shifts Using Knowledge Compilation.

Fenton Ho Mohamed Kamel

Published in: Int. J. Artif. Intell. Tools (1997)

Keyphrases

knowledge compilation
product configuration
prime implicates
binary decision diagrams
databases
database
decision support
logical inference
model counting