Clemens Büchner – Publications

(Show all abstracts) (Hide all abstracts)

2023

  • Augusto B. Corrêa, Clemens Büchner and Remo Christen.
    Zero-Knowledge Proofs for Classical Planning Problems.
    In Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI 2023). 2023.
    (Show abstract)

2022

  • Lucas Galery Käser, Clemens Büchner, Augusto B. Corrêa, Florian Pommerening and Gabriele Röger.
    Machetli: Simplifying Input Files for Debugging.
    In System Demonstrations at the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). 2022.
    (Show abstract) (PDF) (poster; PDF) (video; MP4) (interactive demo)

  • Clemens Büchner, Patrick Ferber, Jendrik Seipp and Malte Helmert.
    A Comparison of Abstraction Heuristics for Rubik's Cube.
    In Proceedings of the ICAPS 2022 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2022). 2022.
    (Show abstract) (PDF) (slides; PDF) (recording; MP4) (code)

2021

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

  • Clemens Büchner and Thomas Keller.
    LM-BFS: A Framework for Landmarks in Planning.
    In Proceedings of the ICAPS 2021 Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP 2021). 2021.
    (Show abstract) (PDF) (slides; PDF) (recording; MP4)