The following pages link to (Q5869576):
Displaying 8 items.
- Itemset frequency satisfiability: complexity and axiomatization (Q2481978) (← links)
- Some new decidability results on positive and negative set constraints (Q5096317) (← links)
- (Q5109509) (← links)
- (Q5154970) (← links)
- Solving infinite-domain CSPs using the patchwork property (Q6157211) (← links)
- Complexity classification transfer for CSPs via algebraic products (Q6621744) (← links)
- Smooth approximations and CSPs over finitely bounded homogeneous structures (Q6649468) (← links)
- Collapsing the bounded width hierarchy for infinite-domain constraint satisfaction problems: when symmetries are enough (Q6654559) (← links)