116 citations · 239 across the 5 of their papers we have counts for
4 papers · 1 filter
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…
Survey Propagation Revisited
Lukas Kroc, Ashish Sabharwal, Bart Selman
Survey propagation (SP) is an exciting new technique that has been remarkably successful at solving very large hard combinatorial problems, such as determining the satisfiability o…
Understanding Sampling Style Adversarial Search Methods
Raghuram Ramanujan, Ashish Sabharwal, Bart Selman
UCT has recently emerged as an exciting new adversarial reasoning technique based on cleverly balancing exploration and exploitation in a Monte-Carlo sampling setting. It has been…
Playing games against nature: optimal policies for renewable resource allocation
Stefano Ermon, Jon Conrad, Carla P. Gomes +1
In this paper we introduce a class of Markov decision processes that arise as a natural model for many renewable resource allocation problems. Upon extending results from the inven…