An algebraic approach to multi−sorted constraints

Bibliographische Detailangaben
Hauptverfasser: Bulatov, A, Jeavons, P
Format: Conference item
Veröffentlicht: 2003