Formally Certified Approximate Model Counting.

Yong Kiam Tan Jiong Yang Mate Soos Magnus O. Myreen Kuldeep S. Meel

Published in: CoRR (2024)

Keyphrases

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