Using Satisfiability for Non-optimal Temporal Planning
From MaRDI portal
Publication:2915070
DOI10.1007/978-3-642-33353-8_14zbMath1361.68205OpenAlexW1530282628MaRDI QIDQ2915070
Masood Feyzbakhsh Rankooh, Ali Mahjoob, Gholamreza Ghassem-Sani
Publication date: 21 September 2012
Published in: Logics in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33353-8_14
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Managing concurrency in temporal planning using planner-scheduler interaction
- Temporal constraint networks
- Fast planning through planning graph analysis
- Branching and pruning: An optimal temporal POCL planner based on constraint programming
- Theory and Applications of Satisfiability Testing
- Logics in Artificial Intelligence