Ruan, Yongshao

4 publications

AAAI 2004 The Backdoor Key: A Path to Understanding Problem Hardness Yongshao Ruan, Henry A. Kautz, Eric Horvitz

AAAI 2002 Dynamic Restart Policies Henry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman

UAI 2001 A Bayesian Approach to Tackling Hard Computational Problems Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering

IJCAI 2001 Balance and Filtering in Structured Satisfiable Problems Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel