Symmetric Weighted First-Order Model Counting.

Paul Beame Guy Van den Broeck Eric Gribkoff Dan Suciu

Published in: CoRR (2014)

Keyphrases

model counting
polynomial size
weighted model counting
first order logic
knowledge compilation
boolean functions
dnf formulas