An algebraic approach to multi−sorted constraints
Andrei Bulatov and Peter Jeavons
Book Title
Proceedings of CP'03
Note
Earlier version available as an OUCL Research Report : http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-01-18.html
Number
2833
Pages
183–198
Series
Lecture Notes in Computer Science
Year
2003