Symmetric Weighted First-Order Model Counting.

Paul Beame Guy Van den Broeck Eric Gribkoff Dan Suciu

Published in: PODS (2015)

Keyphrases

model counting
polynomial size
weighted model counting
knowledge compilation
first order logic
satisfiability testing
orders of magnitude
boolean functions
xml documents
database design
probabilistic inference
dnf formulas