Classifying the Complexity of Constraints Using Finite Algebras

Andrei A. Bulatov, Peter Jeavons, Andrei A. Krokhin. Classifying the Complexity of Constraints Using Finite Algebras. SIAM Journal on Computing, 34(3):720-742, 2005. [doi]

Abstract

Abstract is missing.