IPC-4
From MaRDI portal
Software:16027
swMATH3495MaRDI QIDQ16027FDOQ16027
Author name not available (Why is that?)
Cited In (7)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners
- Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
- A constraint programming formulation for planning: From plan scheduling to plan generation
- An approach to efficient planning with numerical fluents and multi-criteria plan quality
This page was built for software: IPC-4
