Login / Signup

On the Sparsity of XORs in Approximate Model Counting.

Durgesh Agrawal BhavishyaKuldeep S. Meel
Published in: SAT (2020)
Keyphrases
  • model counting
  • weighted model counting
  • polynomial size
  • knowledge compilation
  • satisfiability testing
  • search algorithm
  • search space
  • np complete
  • data exchange
  • bayesian inference