Clemens Büchner

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

Collaborative distances:

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

2025

A Formalism for Optimal Search with Dynamic Heuristics.

Remo Christen, Florian Pommerening, Clemens Büchner, Malte Helmert

CoRR, April, 2025

2024

Hitting Set Heuristics for Overlapping Landmarks in Satisficing Planning.

Clemens Büchner, Remo Christen, Salomé Eriksson, Thomas Keller

Proceedings of the Seventeenth International Symposium on Combinatorial Search, 2024

Transition Landmarks from Abstraction Cuts.

Florian Pommerening, Clemens Büchner, Thomas Keller

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

Abstraction Heuristics for Factored Tasks.

Clemens Büchner, Patrick Ferber, Jendrik Seipp, Malte Helmert

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

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