Re and independence: A simple method for identifying tractable disjunctive constraints (2000)

by M Broxvall, P Jonsson, J Renz
Venue:in: Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming (CP-2000