Pages that link to "Item:Q2795309"
From MaRDI portal
The following pages link to The constraint satisfaction problem and universal algebra (Q2795309):
Displaying 23 items.
- Constraint satisfaction and semilinear expansions of addition over the rationals and the reals (Q269512) (← links)
- Equivariant algorithms for constraint satisfaction problems over coset templates (Q344534) (← links)
- 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)
- Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem (Q2881074) (← 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)
- The complexity of the distributed constraint satisfaction problem (Q6614615) (← links)
- Graphs of finite algebras: edges, and connectivity (Q6631354) (← links)
- Exploring new topologies for the theory of clones (Q6640572) (← links)
- Finite algebras with Hom-sets of polynomial size (Q6653796) (← links)