Fast Converging Anytime Model Counting.

Yong Lai Kuldeep S. Meel Roland H. C. Yap

Published in: AAAI (2023)

Keyphrases

model counting
weighted model counting
knowledge compilation
polynomial size
satisfiability testing
bayesian inference
propositional formulas
machine learning
upper bound
probabilistic inference
propositional logic