Stefano Ermon, Carla P. Gomes, Bart Selman. Uniform Solution Sampling Using a Constraint Solver As an Oracle. In Nando de Freitas, Kevin P. Murphy, editors, Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence, Catalina Island, CA, USA, August 14-18, 2012. pages 255-264, AUAI Press, 2012. [doi]
Abstract is missing.