Pages that link to "Item:Q360108"
From MaRDI portal
The following pages link to Decomposition and tractability in qualitative spatial and temporal reasoning (Q360108):
Displaying 10 items.
- Optimization in temporal qualitative constraint networks (Q262133) (← links)
- Qualitative constraint satisfaction problems: an extended framework with landmarks (Q490417) (← links)
- On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning (Q821556) (← links)
- On redundant topological constraints (Q891795) (← links)
- Dynamic branching in qualitative constraint-based reasoning via counting local models (Q2051804) (← links)
- Collective singleton-based consistency for qualitative constraint networks: theory and practice (Q2334596) (← links)
- (Q4448684) (← links)
- A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming (Q5140008) (← links)
- (Q5283013) (← links)
- Solving infinite-domain CSPs using the patchwork property (Q6157211) (← links)