Uniform Solution Sampling Using a Constraint Solver As an Oracle
The Complexity of Enumeration and Reliability Problems