Rounding Meets Approximate Model Counting.

Jiong Yang Kuldeep S. Meel

Published in: CAV (2) (2023)

Keyphrases

model counting
weighted model counting
knowledge compilation
polynomial size
linear programming
satisfiability testing
natural language processing
search algorithm
upper bound
information extraction
approximation algorithms
probabilistic inference