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

Partially Grounded Planning as Quantified Boolean Formula

Post date June 20, 2013

ICAPS 2013: Michael Cashmore - Partially Grounded Planning as Quantified Boolean Formula

ICAPS 2013: Michael Cashmore - Partially Grounded Planning as Quantified Boolean Formula

Watch this video on YouTube

Michael Cashmore, Maria Fox, Enrico Giunchiglia
Partially Grounded Planning as Quantified Boolean Formula

← Scheduling with Contingent Resources and Tasks → New Encoding Methods for SAT-Based Temporal Planning

Facebook
Twitter
YouTube
Email

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

To the top ↑ Up ↑