Classifying the complexity of constraints using finite algebras

Many natural combinatorial problems can be expressed as constraint satisfaction problems. This class of problems is known to be NP-complete in general, but certain restrictions on the form of the constraints can ensure tractability. Here we show that any set of relations used to specify the allowed...

全面介绍

书目详细资料
Main Authors: Bulatov, A, Jeavons, P, Krokhin, A
格式: Journal article
语言:English
出版: 2005