565 citations · 2.3k across the 68 of their papers we have counts for
Showing 2012 · cs.AIShow all
2 papers · 2 filters
cs.AI2012★ 1 cited
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…
cs.AI2012★ 25 cited
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…