A Recursive Algorithm for Projected Model Counting.

Jean-Marie Lagniez Pierre Marquis

Published in: AAAI (2019)

Keyphrases

recursive algorithm
model counting
weighted model counting
knowledge compilation
hypothesis testing
polynomial size
upper bound
satisfiability testing
probabilistic inference
propositional logic
statistical tests
training data
objective function
random variables
convex hull
propositional formulas