Pages that link to "Item:Q3189638"

The following pages link to Constraint Satisfaction Problems Solvable by Local Consistency Methods (Q3189638):

Displaying 50 items.

• Tractability in constraint satisfaction problems: a survey (Q271997) (← links)
• Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties (Q334968) (← links)
• Equivariant algorithms for constraint satisfaction problems over coset templates (Q344534) (← links)
• Mal'tsev conditions, lack of absorption, and solvability. (Q494634) (← links)
• Gap theorems for robust satisfiability: Boolean CSPs and beyond (Q527405) (← links)
• A polynomial relational class of binary CSP (Q722101) (← links)
• Backdoors into heterogeneous classes of SAT and CSP (Q730498) (← links)
• Towards a characterization of constant-factor approximable finite-valued CSPs (Q1671996) (← links)
• On the complexity of \(\mathbb{H}\)-coloring for special oriented trees (Q1686250) (← links)
• The wonderland of reflections (Q1709740) (← links)
• On singleton arc consistency for CSPs defined by monotone patterns (Q1739115) (← links)
• Constants and finite unary relations in qualitative constraint reasoning (Q1749385) (← links)
• A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties (Q1991583) (← links)
• On a stronger reconstruction notion for monoids and clones (Q2121508) (← links)
• Using a Min-Cut generalisation to go beyond Boolean surjective VCSPs (Q2211354) (← links)
• Constraint satisfaction problems over semilattice block Mal'tsev algebras (Q2272992) (← links)
• The number of clones determined by disjunctions of unary relations (Q2322711) (← links)
• Characterizations of several Maltsev conditions. (Q2351504) (← links)
• Deciding absorption in relational structures (Q2407970) (← links)
• Dichotomy for finite tournaments of mixed-type (Q2515599) (← links)
• Robustly Solvable Constraint Satisfaction Problems (Q2817797) (← links)
• On algebras with many symmetric operations (Q2821826) (← links)
• On Singleton Arc Consistency for CSPs Defined by Monotone Patterns (Q3304113) (← links)
• A Galois Connection for Valued Constraint Languages of Infinite Size (Q3448812) (← links)
• Sherali-Adams Relaxations for Valued CSPs (Q3448860) (← links)
• Necessary Conditions for Tractability of Valued CSPs (Q3455247) (← links)
• Proof Complexity Meets Algebra (Q4617977) (← links)
• (Q4625692) (← links)
• (Q4643956) (← links)
• Parameterized Complexity of the Workflow Satisfiability Problem (Q4689628) (← links)
• (Q4993594) (← links)
• (Q4993595) (← links)
• Constraint Satisfaction Problems over Numeric Domains (Q4993596) (← links)
• Hybrid Tractable Classes of Constraint Problems (Q4993597) (← links)
• Backdoor Sets for CSP. (Q4993598) (← links)
• The Complexity of Valued CSPs (Q4993602) (← links)
• Solving CSPs Using Weak Local Consistency (Q5009788) (← links)
• The Complexity of General-Valued Constraint Satisfaction Problems Seen from the Other Side (Q5026391) (← links)
• Satisfiability in MultiValued Circuits (Q5080482) (← links)
• Promise Constraint Satisfaction: Algebraic Structure and a Symmetric Boolean Dichotomy (Q5096441) (← links)
• The Complexity of Boolean Surjective General-Valued CSPs (Q5111218) (← links)
• The Power of the Combined Basic Linear Programming and Affine Relaxation for Promise Constraint Satisfaction Problems (Q5138784) (← links)
• 𝜔-categorical structures avoiding height 1 identities (Q5141754) (← links)
• DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS (Q5148097) (← links)
• Tractability of quantified temporal constraints to the max (Q5175605) (← links)
• Robust Algorithms with Polynomial Loss for Near-Unanimity CSPs (Q5203794) (← links)
• Constant-Query Testability of Assignments to Constraint Satisfaction Problems (Q5232319) (← links)
• The Power of Linear Programming for General-Valued CSPs (Q5252658) (← links)
• The Complexity of General-Valued CSPs (Q5283238) (← links)
• The Power of Sherali--Adams Relaxations for General-Valued CSPs (Q5348454) (← links)