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

Certified Unsolvability in Classical Planning, Part 1/2

Post date June 20, 2020

ICAPS 2020: Tutorial on "Certified Unsolvability in Classical Planning" Part 1/2

ICAPS 2020: Tutorial on "Certified Unsolvability in Classical Planning" Part 1/2

Watch this video on YouTube

Salomé Eriksson
Certified Unsolvability in Classical Planning, Part 1/2
tutorial

← Counterexample-Guided Cartesian Abstraction Refinement and Saturated Cost Partitioning for Optimal Classical Planning → Certified Unsolvability in Classical Planning, Part 2/2

Facebook
Twitter
YouTube
Email

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

To the top ↑ Up ↑