TY  - RPRT
TI  - Uniform Solution Sampling Using a Constraint Solver As an Oracle
AU  - Stefano Ermon
AU  - Carla P. Gomes
AU  - Bart Selman
PY  - 2012
UR  - https://arxiv.org/abs/1210.4861
ID  - 1210.4861
ER  -