Uniform Solution Sampling Using a Constraint Solver As an Oracle
Equation of state calculations by fast computing machines