Classifying the complexity of constraints using finite algebras

Bibliographische Detailangaben
Hauptverfasser: Bulatov, A, Jeavons, P, Krokhin, A
Format: Journal article
Veröffentlicht: 2005