[BOOK][B] Constraint processing
R Dechter - 2003 - books.google.com
This book provides a comprehensive and much needed introduction to the field by one of its
foremost experts. It is beautifully written and presents a unifying framework capturing a wide …
foremost experts. It is beautifully written and presents a unifying framework capturing a wide …
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 …
This class of problems is known to be NP-complete in general, but certain restrictions on the …
[PDF][PDF] Polymorphisms, and how to use them
Polymorphisms, and How to Use Them Page 1 Polymorphisms, and How to Use Them Libor Barto
∗1, Andrei Krokhin2, and Ross Willard †3 1 Department of Algebra, Faculty of Mathematics and …
∗1, Andrei Krokhin2, and Ross Willard †3 1 Department of Algebra, Faculty of Mathematics and …
Algebraic approach to promise constraint satisfaction
The complexity and approximability of the constraint satisfaction problem (CSP) has been
actively studied over the past 20 years. A new version of the CSP, the promise CSP (PCSP) …
actively studied over the past 20 years. A new version of the CSP, the promise CSP (PCSP) …
Dualities for constraint satisfaction problems
In a nutshell, a duality for a constraint satisfaction problem equates the existence of one
homomorphism to the non-existence of other homomorphisms. In this survey paper, we give …
homomorphism to the non-existence of other homomorphisms. In this survey paper, we give …
A rendezvous of logic, complexity, and algebra
H Chen - ACM Computing Surveys (CSUR), 2009 - dl.acm.org
An emerging area of research studies the complexity of constraint satisfaction problems
under restricted constraint languages. This article gives a self-contained, contemporary …
under restricted constraint languages. This article gives a self-contained, contemporary …
The complexity of temporal constraint satisfaction problems
M Bodirsky, J Kára - Journal of the ACM (JACM), 2010 - dl.acm.org
A temporal constraint language is a set of relations that has a first-order definition in (Q;<),
the dense linear order of the rational numbers. We present a complete complexity …
the dense linear order of the rational numbers. We present a complete complexity …
Tractable conservative constraint satisfaction problems
AA Bulatov - 18th Annual IEEE Symposium of Logic in …, 2003 - ieeexplore.ieee.org
In a constraint satisfaction problem (CSP), the aim is to find an assignment of values to a
given set of variables, subject to specified constraints. The CSP is known to be NP-complete …
given set of variables, subject to specified constraints. The CSP is known to be NP-complete …
CLAP: A new algorithm for promise CSPs
We propose a new algorithm for Promise Constraint Satisfaction Problems (PCSPs). It is a
combination of the Constraint Basic LP relaxation and the Affine IP relaxation (CLAP). We …
combination of the Constraint Basic LP relaxation and the Affine IP relaxation (CLAP). We …
Algebraic approach to promise constraint satisfaction
The complexity and approximability of the constraint satisfaction problem (CSP) has been
actively studied over the last 20 years. A new version of the CSP, the promise CSP (PCSP) …
actively studied over the last 20 years. A new version of the CSP, the promise CSP (PCSP) …