Certified Unsolvability for SAT Planning with Property Directed Reachability

von Eriksson, Salomé
Veröffentlicht in ICAPS Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (2020)

A Proof System for Unsolvable Planning Tasks

von Eriksson, Salome€
Veröffentlicht in International Conference on Automated Planning and Scheduling (28. : 2018 : Delft) Proceedings of the Twenty-eighth International Conference on Automated Planning and Scheduling (2018)

Optimality Certificates for Classical Planning

von Mugdan, Esther
Veröffentlicht in International Conference on Automated Planning and Scheduling (33. : 2023 : Prag) Thirty-third International Conference on Automated Planning and Scheduling (ICAPS 2023) (2023)

Landmark Progression in Heuristic Search

von Büchner, Clemens
Veröffentlicht in International Conference on Automated Planning and Scheduling (33. : 2023 : Prag) Thirty-third International Conference on Automated Planning and Scheduling (ICAPS 2023) (2023)