Pages that link to "Item:Q2457662"
From MaRDI portal
The following pages link to Processes and continuous change in a SAT-based planner (Q2457662):
Displaying 5 items.
- Decidability and complexity of action-based temporal planning over dense time (Q2124463) (← links)
- Pouring liquids: a study in commonsense physical reasoning (Q2389667) (← links)
- CASP solutions for planning in hybrid domains (Q4593097) (← links)
- The LM-Cut Heuristic Family for Optimal Numeric Planning with Simple Conditions (Q5870521) (← links)
- A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning (Q5870537) (← links)
