Complexity of conservative constraint satisfaction problems

From MaRDI portal
Publication:2946643

DOI10.1145/1970398.1970400zbMath1351.68113OpenAlexW2032487621MaRDI QIDQ2946643

Andrei A. Bulatov

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1970398.1970400




Related Items

Tractability in constraint satisfaction problems: a surveyAggregation of Votes with Multiple Positions on Each IssueThe Complexity of General-Valued CSPsHard constraint satisfaction problems have hard gaps at location 1A Galois Connection for Valued Constraint Languages of Infinite SizeAlgebraic Properties of Valued Constraint Satisfaction ProblemUnnamed ItemNecessary Conditions for Tractability of Valued CSPsCSP for binary conservative relational structuresDigraph matrix partitions and trigraph homomorphismsOn planar valued CSPsMinimax problems of discrete optimization invariant under majority operatorsCorrespondence homomorphisms to reflexive graphsPromise Constraint Satisfaction: Algebraic Structure and a Symmetric Boolean DichotomyComplexity of correspondence \(H\)-colouringsThe Power of Sherali--Adams Relaxations for General-Valued CSPsUnnamed ItemUnnamed ItemUnnamed ItemList homomorphisms to separable signed graphsConservative constraint satisfaction re-revisitedInterval graphs, adjusted interval digraphs, and reflexive list homomorphismsCSP beyond tractable constraint languagesA dichotomy for minimum cost graph homomorphismsBinarisation for Valued Constraint Satisfaction ProblemsThe complexity of surjective homomorphism problems-a surveyUnnamed ItemThe Complexity of Valued CSPsBounded Tree-Width and CSP-Related ProblemsAlgebra and the Complexity of Digraph CSPs: a SurveyQualitative constraint satisfaction problems: an extended framework with landmarksOn the Computational Complexity of Non-Dictatorial AggregationGap theorems for robust satisfiability: Boolean CSPs and beyondMinimum cost and list homomorphisms to semicomplete digraphsConstraint satisfaction problems over semilattice block Mal'tsev algebrasDichotomy for tree-structured trigraph list homomorphism problemsUnnamed ItemUnnamed ItemConsistent query answering for primary keys in DatalogDichotomy for finite tournaments of mixed-typeMinimum Cost Homomorphisms with Constrained CostsTesting the Complexity of a Valued CSP LanguageConstant-Query Testability of Assignments to Constraint Satisfaction ProblemsUnnamed ItemAdjusted Interval DigraphsTime Complexity of Constraint Satisfaction via Universal AlgebraThe Power of Linear Programming for General-Valued CSPsA quasi-Mal'cev condition with unexpected application.The Complexity of General-Valued Constraint Satisfaction Problems Seen from the Other Side