scientific article

zbMath0973.68181MaRDI QIDQ2754150

Andrei A. Bulatov, Andrei A. Krokhin, Peter G. Jeavons

Publication date: 11 November 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Combinatorics in computer science (68R05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Operations and polynomials in algebraic structures, primal algebras (08A40)

Related Items (31)

Dichotomies for classes of homomorphism problems involving unary functions ⋮ Algebraic Properties of Valued Constraint Satisfaction Problem ⋮ Constraint Satisfaction Problems Solvable by Local Consistency Methods ⋮ An Algebraic Characterization of Testable Boolean CSPs ⋮ Towards a dichotomy theorem for the counting constraint satisfaction problem ⋮ Why Is It Hard to Obtain a Dichotomy for Consistent Query Answering? ⋮ Promise Constraint Satisfaction: Algebraic Structure and a Symmetric Boolean Dichotomy ⋮ A new line of attack on the dichotomy conjecture ⋮ Reconstructing the topology of clones ⋮ On Maltsev Digraphs ⋮ Complexity of the satisfiability problem for multilinear forms over a finite field ⋮ Rigid binary relations on a 4-element domain ⋮ Complexity of clausal constraints over chains ⋮ A discrete homotopy theory for binary reflexive structures ⋮ On Maltsev digraphs ⋮ Recognizing frozen variables in constraint satisfaction problems ⋮ A new tractable class of constraint satisfaction problems ⋮ Unnamed Item ⋮ Dichotomy for finite tournaments of mixed-type ⋮ Existentially restricted quantified constraint satisfaction ⋮ Universal algebra and hardness results for constraint satisfaction problems ⋮ Robustly Solvable Constraint Satisfaction Problems ⋮ Relatively quantified constraint satisfaction ⋮ CSP dichotomy for special triads ⋮ A combinatorial constraint satisfaction problem dichotomy classification conjecture ⋮ Congruence modularity implies cyclic terms for finite algebras ⋮ Solving CSPs Using Weak Local Consistency ⋮ Unnamed Item ⋮ A quasi-Mal'cev condition with unexpected application. ⋮ Periodic constraint satisfaction problems: Tractable subclasses ⋮ \(H\)-coloring dichotomy revisited

This page was built for publication: