search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

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