Skolemization for Weighted First-Order Model Counting.

Guy Van den Broeck Wannes Meert Adnan Darwiche

Published in: CoRR (2013)

Keyphrases

model counting
polynomial size
weighted model counting
knowledge compilation
dnf formulas
boolean functions
first order logic
satisfiability testing
xml documents
special case
heuristic search
constraint satisfaction
probabilistic inference