Skip to main content

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