Pages that link to "Item:Q4636647"
From MaRDI portal
The following pages link to A complexity dichotomy for poset constraint satisfaction (Q4636647):
Displaying 12 items.
- Constants and finite unary relations in qualitative constraint reasoning (Q1749385) (← links)
- Using model theory to find decidable and tractable description logics with concrete domains (Q2090131) (← links)
- Itemset frequency satisfiability: complexity and axiomatization (Q2481978) (← links)
- A Dichotomy for First-Order Reducts of Unary Structures (Q4643958) (← links)
- (Q4643959) (← links)
- Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures (Q4973030) (← links)
- When Symmetries Are Not Enough: A Hierarchy of Hard Constraint Satisfaction Problems (Q5067445) (← links)
- (Q5094139) (← links)
- Some new decidability results on positive and negative set constraints (Q5096317) (← links)
- (Q5109509) (← links)
- 𝜔-categorical structures avoiding height 1 identities (Q5141754) (← links)
- Smooth approximations and CSPs over finitely bounded homogeneous structures (Q6649468) (← links)