most citedBit-Vector Model Counting using Statistical Estimation

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.CR2017★ 1 cited

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…