Items where contributor is "Büchner, Clemens"

Group by: Date | Item Type | Refereed | No Grouping

Jump to: Conference or Workshop Item | Other

Conference or Workshop Item

Kreft, Raphael and Büchner, Clemens and Sievers, Silvan and Helmert, Malte. (2023) Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement. In: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 33. pp. 221-226.

Büchner, Clemens and Keller, Thomas and Eriksson, Salomé and Helmert, Malte. (2023) Landmark Progression in Heuristic Search. In: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 33. pp. 70-79.

Büchner, Clemens and Keller, Thomas and Helmert, Malte. (2021) Exploiting Cyclic Dependencies in Landmark Heuristics. In: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 31. pp. 65-73.

Other

Kreft, Raphael and Büchner, Clemens and Sievers, Silvan. (2023) CEGAR++: Saturated Cost Partitioning for Diverse Sets of Abstractions.

Büchner, Clemens and Christen, Remo and Eriksson, Salomé and Keller, Thomas. (2023) DALAI - Disjunctive Action Landmarks All In.

Büchner, Clemens and Christen, Remo and Corrêa, Augusto B. and Eriksson, Salomé and Ferber, Patrick and Seipp, Jendrik and Sievers, Silvan. (2023) Fast Downward Stone Soup 2023.

Galery Käser, Lucas and Büchner, Clemens and Corrêa, Augusto B. and Pommerening, Florian and Röger, Gabriele. (2022) Machetli: Simplifying Input Files for Debugging. 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). System Demonstrations.