Remo Christen

Remo Christen
Department of Mathematics and Computer Science
Spiegelgasse 5
CH - 4051 Basel, Switzerland
+41 61 207 55 83


(Show all abstracts) (Hide all abstracts)


  • Esther Mugdan, Remo Christen and Salomé Eriksson.
    Optimality Certificates for Classical Planning.
    In Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023). 2023.
    (Show abstract) (PDF)

  • 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) (PDF) (slides; PDF) (technical report; PDF)


  • Remo Christen, Salomé Eriksson, Michael Katz, Emil Keyder, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers and David Speck.
    (PARIS) Planning Algorithms for Reconfiguring Independent Sets.
    In First Combinatorial Reconfiguration Challenge (CoRe Challenge 2022), pp. 15-22. 2022.

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