Classifying the complexity of constraints using finite algebras
Andrei Bulatov‚ Peter Jeavons and Andrei Krokhin
Journal
SIAM Journal on Computing
Number
34
Pages
720−742
Year
2005
Andrei Bulatov‚ Peter Jeavons and Andrei Krokhin