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

← Partially Grounded Planning as Quantified Boolean Formula → A Constraint-Based Approach for Proactive, Context-Aware Human Support (journal presentation)

Facebook
Twitter
YouTube
Email

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

To the top ↑ Up ↑