89
Voted
CPAIOR
2008
Springer
15 years 3 days ago
2008
Springer
We consider the problem of estimating the model count (number of solutions) of Boolean formulas, and present two techniques that compute estimates of these counts, as well as eith...