Pages that link to "Item:Q3189638"
From MaRDI portal
The following pages link to Constraint Satisfaction Problems Solvable by Local Consistency Methods (Q3189638):
Displayed 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)