An algebraic approach to multi−sorted constraints

Detalles Bibliográficos
Autores principales: Bulatov, A, Jeavons, P
Formato: Conference item
Publicado: 2003