7 search results - page 2 / 2 » Efficient Distributed SAT and SAT-Based Distributed Bounded ... |
CPAIOR
2008
Springer
13 years 7 months 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...
EPEW
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Recently, there is an explosive development of fluid approaches to computer and distributed systems. These approaches are inherently stochastic and generate continuous st...