Balance and Filtering in Structured Satisfiable Problems (Preliminary Report)

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. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: