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]

Abstract

Abstract is missing.