Exploiting Cyclic Dependencies in Landmark Heuristics. - Clemens Büchner; Thomas Keller 001; Malte Helmert (ICAPS, 2021)

Zero-Knowledge Proofs for Classical Planning Problems. - Augusto B. Corrêa; Clemens Büchner; Remo Christen (AAAI, 2023)

Landmark Progression in Heuristic Search. - Clemens Büchner; Thomas Keller 001; Salomé Eriksson; Malte Helmert (ICAPS, 2023)

Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement. - Raphael Kreft; Clemens Büchner; Silvan Sievers; Malte Helmert (ICAPS, 2023)

Abstraction Heuristics for Factored Tasks. - Clemens Büchner; Patrick Ferber; Jendrik Seipp; Malte Helmert (ICAPS, 2024)

Transition Landmarks from Abstraction Cuts. - Florian Pommerening; Clemens Büchner; Thomas Keller 001 (ICAPS, 2024)

Hitting Set Heuristics for Overlapping Landmarks in Satisficing Planning. - Clemens Büchner; Remo Christen; Salomé Eriksson; Thomas Keller 001 (SOCS, 2024)

A Formalism for Optimal Search with Dynamic Heuristics. - Remo Christen; Florian Pommerening; Clemens Büchner; Malte Helmert (CoRR, 2025)