Pages that link to "Item:Q814524"
From MaRDI portal
The following pages link to Efficient solution techniques for disjunctive temporal reasoning problems (Q814524):
Displaying 13 items.
- Dynamic controllability via timed game automata (Q329422) (← links)
- Optimal rectangle packing (Q610984) (← links)
- On the modelling and optimization of preferences in constraint-based temporal reasoning (Q646549) (← links)
- The SAT-based approach to separation logic (Q862390) (← links)
- An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty (Q892228) (← links)
- Checking dynamic consistency of conditional hyper temporal networks via mean payoff games. Hardness and (pseudo) singly-exponential time algorithm (Q1706164) (← links)
- Strong temporal planning with uncontrollable durations (Q1748463) (← links)
- Translation-based approaches for solving disjunctive temporal problems with preferences (Q2331097) (← links)
- Solving strong controllability of temporal problems with uncertainty using SMT (Q2342602) (← links)
- Temporal reasoning about fuzzy intervals (Q2389652) (← links)
- Modelling and solving temporal reasoning as propositional satisfiability (Q2389682) (← links)
- An interdisciplinary experimental evaluation on the disjunctive temporal problem (Q6080502) (← links)
- Reducing the number of disjuncts in DTPs (Q6116184) (← links)
