A New Classs of Binary CSPs for which Arc−Constistency Is a Decision Procedure
David A. Cohen
Book Title
Proceedings of the 9th International Conference on Principles and Practice of Constraint Programming (CP'03)
Pages
807−811
Series
Lecture Notes in Computer Science
Volume
2833
Year
2003