Classifying the complexity of constraints using finite algebras

Dettagli Bibliografici
Autori principali: Bulatov, A, Jeavons, P, Krokhin, A
Natura: Journal article
Pubblicazione: 2005