Login / Signup
Rounding Meets Approximate Model Counting.
Jiong Yang
Kuldeep S. Meel
Published in:
CoRR (2023)
Keyphrases
</>
model counting
weighted model counting
approximation algorithms
polynomial size
linear programming
knowledge compilation
satisfiability testing