Pages that link to "Item:Q4635922"

The following pages link to The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems (Q4635922):

Displaying 31 items.

• Reconstructing the topology on monoids and polymorphism clones of the rationals (Q519852) (← links)
• A counterexample to the reconstruction of \(\omega\)-categorical structures from their endomorphism monoid (Q1650007) (← links)
• A uniform Birkhoff theorem (Q1686326) (← links)
• Permutation groups with small orbit growth (Q2037519) (← links)
• ASNP: a tame fragment of existential second-order logic (Q2106601) (← links)
• Homogeneous structures: model theory meets universal algebra. Abstracts from the workshop held January 3--9, 2021 (online meeting) (Q2131194) (← links)
• The local loop lemma (Q2302149) (← links)
• The number of clones determined by disjunctions of unary relations (Q2322711) (← links)
• General lower bounds and improved algorithms for infinite-domain CSPs (Q2700386) (← links)
• Reconstructing the topology of clones (Q2960444) (← links)
• A Dichotomy for First-Order Reducts of Unary Structures (Q4643958) (← links)
• (Q4643959) (← links)
• A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP (Q4957913) (← links)
• Loop conditions for strongly connected digraphs (Q4960455) (← links)
• Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures (Q4973030) (← links)
• (Q4993594) (← links)
• (Q4993595) (← links)
• Constraint Satisfaction Problems over Numeric Domains (Q4993596) (← links)
• PROJECTIVE CLONE HOMOMORPHISMS (Q5000252) (← links)
• CORES OVER RAMSEY STRUCTURES (Q5000273) (← links)
• (Q5005133) (← links)
• When Symmetries Are Not Enough: A Hierarchy of Hard Constraint Satisfaction Problems (Q5067445) (← links)
• (Q5109509) (← links)
• Time Complexity of Constraint Satisfaction via Universal Algebra (Q5111231) (← links)
• 𝜔-categorical structures avoiding height 1 identities (Q5141754) (← links)
• (Q5154970) (← links)
• Solving equation systems in ω-categorical algebras (Q5163170) (← links)
• Pseudo‐loop conditions (Q5205451) (← 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)
• Computational Short Cuts in Infinite Domain Constraint Satisfaction (Q5870497) (← links)