Classifying the complexity of constraints using finite algebras

Bibliografische gegevens
Hoofdauteurs: Bulatov, A, Jeavons, P, Krokhin, A
Formaat: Journal article
Gepubliceerd in: 2005