Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel
Balance and Filtering in Structured Satisfiable Problems
ICST, 2001.
@article{SAT-2001-KautzRAGSS,
author = "Henry A. Kautz and Yongshao Ruan and Dimitris Achlioptas and Carla P. Gomes and Bart Selman and Mark E. Stickel",
doi = "10.1016/S1571-0653(04)00310-5",
journal = "{Electronic Notes in Discrete Mathematics}",
pages = "2--18",
title = "{Balance and Filtering in Structured Satisfiable Problems}",
volume = 9,
year = 2001,
}