Classifying the complexity of constraints using finite algebras

Detalhes bibliográficos
Principais autores: Bulatov, A, Jeavons, P, Krokhin, A
Formato: Journal article
Publicado em: 2005