Pages that link to "Item:Q4779591"
From MaRDI portal
The following pages link to Tractability Results in the Block Algebra (Q4779591):
Displaying 8 items.
- Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra (Q354605) (← links)
- Spatial reasoning about points in a multidimensional setting (Q1863907) (← links)
- Collective singleton-based consistency for qualitative constraint networks: theory and practice (Q2334596) (← links)
- Line-based affine reasoning in Euclidean plane (Q2372194) (← links)
- Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming (Q5140026) (← links)
- Solving infinite-domain CSPs using the patchwork property (Q6157211) (← links)
- On prime scenarios in qualitative spatial and temporal reasoning (Q6614889) (← links)
- Complexity classification transfer for CSPs via algebraic products (Q6621744) (← links)