Pages that link to "Item:Q5145282"
From MaRDI portal
The following pages link to A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP (Q5145282):
Displayed 9 items.
- In praise of homomorphisms (Q826325) (← links)
- An algebraic view on p-admissible concrete domains for lightweight description logics (Q2055793) (← links)
- Using model theory to find decidable and tractable description logics with concrete domains (Q2090131) (← links)
- ASNP: a tame fragment of existential second-order logic (Q2106601) (← links)
- PROJECTIVE CLONE HOMOMORPHISMS (Q5000252) (← links)
- When Symmetries Are Not Enough: A Hierarchy of Hard Constraint Satisfaction Problems (Q5067445) (← links)
- 𝜔-categorical structures avoiding height 1 identities (Q5141754) (← links)
- Pseudo‐loop conditions (Q5205451) (← links)
- Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems) (Q5222129) (← links)