An algebraic approach to multi−sorted constraints

Bibliographic Details
Main Authors: Bulatov, A, Jeavons, P
Format: Conference item
Published: 2003