Remo Christen – Publications

(Show all abstracts) (Hide all abstracts)


  • 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)


  • Remo Christen, Salomé Eriksson, Florian Pommerening and Malte Helmert.
    Detecting Unsolvability Based on Separating Functions.
    In Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), pp. 44-52. 2022.
    (Show abstract) (PDF) (slides; PDF) (poster; PDF) (code, scripts, and data)