Clemens Büchner

According to our database, Clemens Büchner authored at least 4 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement.

Raphael Kreft, Clemens Büchner, Silvan Sievers, Malte Helmert

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Landmark Progression in Heuristic Search.

Clemens Büchner, Thomas Keller, Salomé Eriksson, Malte Helmert

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Zero-Knowledge Proofs for Classical Planning Problems.

Augusto B. Corrêa, Clemens Büchner, Remo Christen

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2021

Exploiting Cyclic Dependencies in Landmark Heuristics.

Clemens Büchner, Thomas Keller, Malte Helmert

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021