Uniform Solution Sampling Using a Constraint Solver As an Oracle.

Stefano Ermon, Carla P. Gomes, Bart Selman

Browse the full UAI paper archive.