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

Paul Beame Vincent Liew

Published in: UAI (2015)

Keyphrases

model counting
knowledge compilation
product configuration
polynomial size
normal form
prime implicates
databases
information retrieval
information extraction