Characterizing SAT Problems with the Row Convexity Property

Hachemi Bennaceur, Chu Min Li. Characterizing SAT Problems with the Row Convexity Property. In Pascal Van Hentenryck, editor, Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings. Volume 2470 of Lecture Notes in Computer Science, pages 720-725, Springer, 2002. [doi]

Authors

Hachemi Bennaceur

This author has not been identified. Look up 'Hachemi Bennaceur' in Google

Chu Min Li

This author has not been identified. Look up 'Chu Min Li' in Google