Fast Converging Anytime Model Counting.

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

Published in: CoRR (2022)

Keyphrases

model counting
weighted model counting
knowledge compilation
polynomial size
satisfiability testing
probabilistic inference
special case