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]

Authors

Henry A. Kautz

This author has not been identified. Look up 'Henry A. Kautz' in Google

Yongshao Ruan

This author has not been identified. Look up 'Yongshao Ruan' in Google

Dimitris Achlioptas

This author has not been identified. Look up 'Dimitris Achlioptas' in Google

Carla P. Gomes

This author has not been identified. Look up 'Carla P. Gomes' in Google

Bart Selman

This author has not been identified. Look up 'Bart Selman' in Google

Mark E. Stickel

This author has not been identified. Look up 'Mark E. Stickel' in Google