Pages that link to "Item:Q2795309"
From MaRDI portal
The following pages link to THE CONSTRAINT SATISFACTION PROBLEM AND UNIVERSAL ALGEBRA (Q2795309):
Displayed 17 items.
- Gap theorems for robust satisfiability: Boolean CSPs and beyond (Q527405) (← links)
- Axiomatisability and hardness for universal Horn classes of hypergraphs (Q1652862) (← links)
- The wonderland of reflections (Q1709740) (← links)
- On a stronger reconstruction notion for monoids and clones (Q2121508) (← links)
- Complexity of inverse constraint problems and a dichotomy for the inverse satisfiability problem (Q2221799) (← links)
- Proof Complexity Meets Algebra (Q4617977) (← links)
- (Q4993595) (← links)
- Constraint Satisfaction Problems over Numeric Domains (Q4993596) (← links)
- The Complexity of Valued CSPs (Q4993602) (← links)
- MALTSEV CONDITIONS FOR GENERAL CONGRUENCE MEET-SEMIDISTRIBUTIVE ALGEBRAS (Q5021922) (← links)
- (Q5028466) (← links)
- (Q5089174) (← links)
- Ideal Membership Problem over 3-Element CSPs with Dual Discriminator Polymorphism (Q5096588) (← links)
- The Complexity of Boolean Surjective General-Valued CSPs (Q5111218) (← links)
- Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems) (Q5222129) (← links)
- Constant-Query Testability of Assignments to Constraint Satisfaction Problems (Q5232319) (← links)
- Universal algebraic methods for non-classical logics (Q6120602) (← links)