An Algebraic Approach to Multi-sorted Constraints

Andrei A. Bulatov, Peter Jeavons. An Algebraic Approach to Multi-sorted Constraints. In Francesca Rossi, editor, Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings. Volume 2833 of Lecture Notes in Computer Science, pages 183-198, Springer, 2003. [doi]

Authors

Andrei A. Bulatov

This author has not been identified. Look up 'Andrei A. Bulatov' in Google

Peter Jeavons

This author has not been identified. Look up 'Peter Jeavons' in Google