2004 |
7 | | Yongshao Ruan,
Henry A. Kautz,
Eric Horvitz:
The Backdoor Key: A Path to Understanding Problem Hardness.
AAAI 2004: 124-130 |
2002 |
6 | | Henry A. Kautz,
Eric Horvitz,
Yongshao Ruan,
Carla P. Gomes,
Bart Selman:
Dynamic Restart Policies.
AAAI/IAAI 2002: 674-681 |
5 | EE | Yongshao Ruan,
Eric Horvitz,
Henry A. Kautz:
Restart Policies with Dependence among Runs: A Dynamic Programming Approach.
CP 2002: 573-586 |
2001 |
4 | | Henry A. Kautz,
Yongshao Ruan,
Dimitris Achlioptas,
Carla P. Gomes,
Bart Selman,
Mark E. Stickel:
Balance and Filtering in Structured Satisfiable Problems.
IJCAI 2001: 351-358 |
3 | EE | Eric Horvitz,
Yongshao Ruan,
Carla P. Gomes,
Henry A. Kautz,
Bart Selman,
David Maxwell Chickering:
A Bayesian Approach to Tackling Hard Computational Problems.
UAI 2001: 235-244 |
2 | EE | Henry A. Kautz,
Yongshao Ruan,
Dimitris Achlioptas,
Carla P. Gomes,
Bart Selman,
Mark E. Stickel:
Balance and Filtering in Structured Satisfiable Problems (Preliminary Report).
Electronic Notes in Discrete Mathematics 9: 2-18 (2001) |
1 | EE | Eric Horvitz,
Yongshao Ruan,
Carla P. Gomes,
Henry A. Kautz,
Bart Selman,
David Maxwell Chickering:
A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report).
Electronic Notes in Discrete Mathematics 9: 376-391 (2001) |