Bit-Vector Model Counting using Statistical Estimation

Seonmo Kim, Stephen McCamant

Approximate model counting for bit-vector SMT formulas (generalizing \#SAT) has many applications such as probabilistic inference and quantitative information-flow security, but it…