A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure.

David A. Cohen

Browse the full CP paper archive.