Pages that link to "Item:Q5317171"
From MaRDI portal
The following pages link to Classifying the Complexity of Constraints Using Finite Algebras (Q5317171):
Displaying 46 items.
- The Complexity of Quantified Constraints Using the Algebraic Formulation (Q5111241) (← links)
- Min-Orderable Digraphs (Q5130576) (← links)
- (Q5136286) (← links)
- 𝜔-categorical structures avoiding height 1 identities (Q5141754) (← links)
- Solving equation systems in ω-categorical algebras (Q5163170) (← links)
- Robust Algorithms with Polynomial Loss for Near-Unanimity CSPs (Q5203794) (← links)
- Rainbow Coloring Hardness via Low Sensitivity Polymorphisms (Q5217824) (← links)
- Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems) (Q5222129) (← links)
- Constraint Satisfaction Problems for Reducts of Homogeneous Graphs (Q5232325) (← links)
- (Q5232905) (← links)
- АЛГЕБРЫ РИСА И КОНГРУЭНЦ-АЛГЕБРЫ РИСА В ОДНОМ КЛАССЕ АЛГЕБР С ОПЕРАТОРОМ И ОСНОВНОЙ ОПЕРАЦИЕЙ ПОЧТИ ЕДИНОГЛАСИЯ (Q5239561) (← links)
- The Power of Linear Programming for General-Valued CSPs (Q5252658) (← links)
- Constraint Satisfaction with Counting Quantifiers (Q5256528) (← links)
- Quantified Constraint Satisfaction Problem on Semicomplete Digraphs (Q5278200) (← links)
- The Complexity of General-Valued CSPs (Q5283238) (← links)
- Complexity and polymorphisms for digraph constraint problems under some basic constructions (Q5298320) (← links)
- The Power of Sherali--Adams Relaxations for General-Valued CSPs (Q5348454) (← links)
- $(2+\varepsilon)$-Sat Is NP-hard (Q5363382) (← links)
- Binarisation for Valued Constraint Satisfaction Problems (Q5371026) (← links)
- (Q5381121) (← links)
- TAYLOR TERMS, CONSTRAINT SATISFACTION AND THE COMPLEXITY OF POLYNOMIAL EQUATIONS OVER FINITE ALGEBRAS (Q5483456) (← links)
- Idempotent <i>n</i> -permutable varieties (Q5495357) (← links)
- Topological Birkhoff (Q5496670) (← links)
- Recent Results on the Algebraic Approach to the CSP (Q5504700) (← links)
- Dualities for Constraint Satisfaction Problems (Q5504701) (← links)
- A Logical Approach to Constraint Satisfaction (Q5504702) (← links)
- Constraint Satisfaction Problems with Infinite Templates (Q5504704) (← links)
- Introduction to the Maximum Solution Problem (Q5504706) (← links)
- Max-Closed Semilinear Constraint Satisfaction (Q5740179) (← links)
- (Q5743434) (← links)
- (Q5863609) (← links)
- (Q5863854) (← links)
- Constraint Satisfaction Problems with Global Modular Constraints: Algorithms and Hardness via Polynomial Representations (Q5864666) (← links)
- The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation (Q5875947) (← links)
- CLAP: A New Algorithm for Promise CSPs (Q5885595) (← links)
- Topology and Adjunction in Promise Constraint Satisfaction (Q5885596) (← links)
- The smallest hard trees (Q6073305) (← links)
- Computing a partition function of a generalized pattern-based energy over a semiring (Q6174653) (← links)
- (Q6176154) (← links)
- Generalisations of matrix partitions: complexity and obstructions (Q6564025) (← links)
- Unifying the three algebraic approaches to the CSP via minimal Taylor algebras (Q6566475) (← links)
- Conditional dichotomy of Boolean ordered promise CSPs (Q6566587) (← links)
- Constraint satisfaction, graph isomorphism, and the pebbling comonad (Q6612794) (← links)
- Complexity of reachability problems in neural networks (Q6623010) (← links)
- Graphs of finite algebras: edges, and connectivity (Q6631354) (← links)
- Forbidden tournaments and the orientation completion problem (Q6668354) (← links)