A Bayesian Approach to Tackling Hard Computational Problems

Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering