[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 …

Classifying the complexity of constraints using finite algebras

A Bulatov, P Jeavons, A Krokhin - SIAM journal on computing, 2005 - SIAM
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 …

[PDF][PDF] Polymorphisms, and how to use them

L Barto, A Krokhin, R Willard - Dagstuhl Follow-Ups, 2017 - drops.dagstuhl.de
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 …

Algebraic approach to promise constraint satisfaction

L Barto, J Bulín, A Krokhin, J Opršal - Journal of the ACM (JACM), 2021 - dl.acm.org
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) …

Dualities for constraint satisfaction problems

AA Bulatov, A Krokhin, B Larose - … of Constraints: An Overview of Current …, 2008 - Springer
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 …

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 …

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 …

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 …

CLAP: A new algorithm for promise CSPs

L Ciardo, S Živný - SIAM Journal on Computing, 2023 - SIAM
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 …

Algebraic approach to promise constraint satisfaction

J Bulín, A Krokhin, J Opršal - Proceedings of the 51st Annual ACM …, 2019 - dl.acm.org
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) …