An algebraic approach to multi−sorted constraints

Bibliografske podrobnosti
Main Authors: Bulatov, A, Jeavons, P
Format: Conference item
Izdano: 2003