Knowledge Compilation for Model Counting: Affine Decision Trees.

Frédéric Koriche Jean-Marie Lagniez Pierre Marquis Samuel Thomas

Published in: IJCAI (2013)

Keyphrases

model counting
knowledge compilation
decision trees
product configuration
polynomial size
prime implicates
machine learning
normal form
information retrieval
propositional formulas