Uniform Solution Sampling Using a Constraint Solver As an Oracle

Stefano Ermon, Carla P. Gomes, Bart Selman

We consider the problem of sampling from solutions defined by a set of hard constraints on a combinatorial space. We propose a new sampling technique that, while enforcing a unifor…