An algebraic approach to multi−sorted constraints

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Bulatov, A, Jeavons, P
Μορφή: Conference item
Έκδοση: 2003