Formally Certified Approximate Model Counting.

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

Published in: CAV (1) (2024)

Keyphrases

model counting
weighted model counting
probabilistic inference
knowledge compilation
polynomial size
knowledge base
data model
probabilistic model
knowledge representation
orders of magnitude