An algebraic approach to multi−sorted constraints

Detalhes bibliográficos
Principais autores: Bulatov, A, Jeavons, P
Formato: Conference item
Publicado em: 2003