New Limits for Knowledge Compilation and Applications to Exact Model Counting.

Paul Beame Vincent Liew

Published in: CoRR (2015)

Keyphrases

model counting
knowledge compilation
product configuration
polynomial size
prime implicates
normal form
cnf formula
satisfiability testing
lower bound
expert systems
relational databases
decision support