Balance and Filtering in Structured Satisfiable Problems.

Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel

Browse the full IJCAI paper archive.