Pages that link to "Item:Q2941742"
From MaRDI portal
The following pages link to ITSAT: An Efficient SAT-Based Temporal Planner (Q2941742):
Displaying 5 items.
- SAT-based planning in complex domains: Concurrency, constraints and nondeterminism (Q814472) (← links)
- Extracting mutual exclusion invariants from lifted temporal planning domains (Q1639696) (← links)
- Decidability and complexity of action-based temporal planning over dense time (Q2124463) (← links)
- Discovering state constraints for planning with conditional effects in \textsc{Discoplan}. I (Q2188783) (← links)
- Processes and continuous change in a SAT-based planner (Q2457662) (← links)