Skip to the content

ICAPS

International Conference on Automated Planning and Scheduling

Search for:

Home
Proceedings
Recordings
Conferences
Competitions
Awards
ICAPS Inc.
Calls for Contributions

Facebook
Twitter
YouTube
Email

Categories

recording

New Encoding Methods for SAT-Based Temporal Planning

Post date June 20, 2013

ICAPS 2013: Masood F. Rankooh - New Encoding Methods for SAT-Based Temporal Planning

ICAPS 2013: Masood F. Rankooh - New Encoding Methods for SAT-Based Temporal Planning

Watch this video on YouTube

Masood Feyzbakhsh Rankooh, Gholamreza Ghassem-Sani
New Encoding Methods for SAT-Based Temporal Planning

← ICAPS 2012 Closing Remarks → Coupling Problems in Planning and Acting

Facebook
Twitter
YouTube
Email

© 2024 ICAPS Inc. (hosted by Gabriele Röger)

To the top ↑ Up ↑