Login / Signup

Rounding Meets Approximate Model Counting.

Jiong YangKuldeep S. Meel
Published in: CoRR (2023)
Keyphrases
  • model counting
  • weighted model counting
  • approximation algorithms
  • polynomial size
  • linear programming
  • knowledge compilation
  • satisfiability testing