The following pages link to (Q5750422):
Displaying 12 items.
- An initial study of time complexity in infinite-domain constraint satisfaction (Q514144) (← links)
- On redundant topological constraints (Q891795) (← links)
- From local to global consistency (Q1193482) (← links)
- Reasoning about qualitative temporal information (Q1204871) (← links)
- A generalized time quantifier approach to approximate reasoning (Q1885721) (← links)
- Tractable approximations for temporal constraint handling (Q1978249) (← links)
- The complexity of finding temporal separators under waiting time constraints (Q2059911) (← links)
- Parameterised temporal exploration problems (Q2698289) (← links)
- Robust Approximation of Temporal CSP (Q2969636) (← links)
- Efficient Temporal Satisfiability (Q4013255) (← links)
- An Algebraic Approach to Time-Span Reduction (Q4595382) (← links)
- Temporal representation and reasoning in artificial intelligence: A review (Q5943344) (← links)
