|
|
|
|
|
|
by fcholf
1364 days ago
|
|
|
I would be curious to know examples of SAT solvers you have in mind for approximate counting. The only tools I am aware of for approximate counting are dedicated to this task (and usually use SAT solvers as oracles under the hood). |
|
|