Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering
A Bayesian Approach to Tackling Hard Computational Problems
ICST, 2001.
@article{SAT-2001-HorvitzRGKSC,
author = "Eric Horvitz and Yongshao Ruan and Carla P. Gomes and Henry A. Kautz and Bart Selman and David Maxwell Chickering",
doi = "10.1016/S1571-0653(04)00335-X",
journal = "{Electronic Notes in Discrete Mathematics}",
pages = "376--391",
title = "{A Bayesian Approach to Tackling Hard Computational Problems}",
volume = 9,
year = 2001,
}