Salomé Eriksson – Publications

(Show all abstracts) (Hide all abstracts)

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)

  • Clemens Büchner, Thomas Keller, Salomé Eriksson and Malte Helmert.
    Landmark Progression in Heuristic Search.
    In Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), pp. 70-79. 2023.
    (Show abstract) (PDF) (slides; PDF) (poster; PDF) (code)

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)

2020

  • Salomé Eriksson and Malte Helmert.
    Certified Unsolvability for SAT Planning with Property Directed Reachability.
    In Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), pp. 90-100. 2020.
    (Show abstract) (PDF) (slides; PDF) (recording; MP4) (poster; PDF)

2019

  • Salomé Eriksson.
    Certifying Planning Systems: Witnesses for Unsolvability.
    Ph.D. Thesis, University of Basel, Switzerland, 2019.
    Date of disputation: 2019-04-26.
    (Show abstract) (PDF) (slides; PDF)

2018

  • Salomé Eriksson, Gabriele Röger and Malte Helmert.
    Inductive Certificates of Unsolvability for Domain-Independent Planning.
    In Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), pp. 5244-5248. 2018.
    Note: This paper was invited for submission to the Best Papers From Sister Conferences Track, based on a paper that appeared in the International Conference on Automated Planning and Scheduling (ICAPS) 2017. When referring to this work, please cite the ICAPS 2017 paper instead of this version.
    (Show abstract) (PDF)

  • Salomé Eriksson, Gabriele Röger and Malte Helmert.
    A Proof System for Unsolvable Planning Tasks.
    In Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018), pp. 65-73. 2018.
    (Show abstract) (PDF) (slides; PDF) (poster; PDF)

2017

  • Salomé Eriksson, Gabriele Röger and Malte Helmert.
    Unsolvability Certificates for Classical Planning.
    In Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017), pp. 88-97. 2017.
    (Show abstract) (PDF) (slides; PDF)

Publications under my maiden name

(Show all abstracts) (Hide all abstracts)

2015

  • Salomé Simon and Gabriele Röger.
    Finding and Exploiting LTL Trajectory Constraints in Heuristic Search.
    In Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015), pp. 113-121. 2015.
    A non-archival version of this paper was also presented at the ICAPS-2015 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP).
    (Show abstract) (PDF) (slides; PDF) (slides HSDIP; PDF)