The following pages link to Tractable Set Constraints (Q4899135):
Displaying 9 items.
- An initial study of time complexity in infinite-domain constraint satisfaction (Q514144) (← links)
- Constants and finite unary relations in qualitative constraint reasoning (Q1749385) (← links)
- Tarskian set constraints (Q1854523) (← links)
- Set constraints with intersection (Q2506490) (← links)
- Quantified Constraints and Containment Problems (Q3196340) (← links)
- Reasoning about set constraints applied to tractable inference in intuitionistic logic (Q4228078) (← links)
- (Q4808755) (← links)
- (Q5094139) (← links)
- Solving equation systems in ω-categorical algebras (Q5163170) (← links)