Remo Christen

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

Publications

(Show all abstracts) (Hide all abstracts)

2024

  • Clemens Büchner, Remo Christen, Salomé Eriksson and Thomas Keller.
    Hitting Set Heuristics for Overlapping Landmarks in Satisficing Planning.
    In Proceedings of the 17th International Symposium on Combinatorial Search (SoCS 2024), pp. 198-202. 2024.
    A non-archival, but longer version of this paper has been published at the HSDIP workshop of ICAPS 2024. See the separate entry for that paper. We recommend citing the SoCS paper in scholarly publications.
    (Show abstract) (PDF) (slides; PDF) (poster; PDF)

  • Clemens Büchner, Remo Christen, Salomé Eriksson and Thomas Keller.
    Hitting Set Heuristics for Overlapping Landmarks in Satisficing Planning.
    In Proceedings of the ICAPS 2024 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2024). 2024.
    An archival, but shorter version of this paper has been published at SoCS 2024. See the separate entry for that paper. We recommend citing the SoCS paper in scholarly publications.
    (Show abstract) (PDF) (slides; PDF) (code, scripts and data)

2023

  • Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers and David Speck.
    PARIS: Planning Algorithms for Reconfiguring Independent Sets.
    In Proceedings of the 26th European Conference on Artifical Intelligence (ECAI 2023), pp. 453-460. 2023.
    (PDF) (slides; PDF) (poster; PDF) (code, scripts and data)

  • Clemens Büchner, Remo Christen, Augusto B. Corrêa, Salomé Eriksson, Patrick Ferber, Jendrik Seipp and Silvan Sievers.
    Fast Downward Stone Soup 2023 (planner abstract).
    In Tenth International Planning Competition (IPC 2023), Deterministic Part. 2023.
    (PDF) (code, scripts and data)

  • Clemens Büchner, Remo Christen, Salomé Eriksson and Thomas Keller.
    DALAI - Disjunctive Action Landmarks All In (planner abstract).
    In Tenth International Planning Competition (IPC 2023), Deterministic Part. 2023.
    (PDF)

  • Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers and David Speck.
    PARIS: Planning Algorithms for Reconfiguring Independent Sets.
    In Proceedings of the ICAPS 2023 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2023). 2023.
    Note: This paper is superseded by the ECAI 2023 paper by the same name.
    (Show abstract) (PDF) (slides; PDF)

  • 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), pp. 286-294. 2023.
    (Show abstract) (PDF) (slides; PDF) (code)

  • 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), pp. 11955-11962. 2023.
    (Show abstract) (PDF) (slides; PDF) (technical report; PDF)

2022

  • 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.
    (PDF)

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

Awards