Login / Signup

Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice.

Kuldeep S. MeelS. Akshay
Published in: LICS (2020)
Keyphrases
  • model counting
  • weighted model counting
  • objective function
  • np hard