Salomé Eriksson

According to our database, Salomé Eriksson authored at least 9 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Hitting Set Heuristics for Overlapping Landmarks in Satisficing Planning.

Clemens Büchner, Remo Christen, Salomé Eriksson, Thomas Keller

Proceedings of the Seventeenth International Symposium on Combinatorial Search, 2024

2023

PARIS: Planning Algorithms for Reconfiguring Independent Sets.

Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers, David Speck

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Optimality Certificates for Classical Planning.

Esther Mugdan, Remo Christen, Salomé Eriksson

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Landmark Progression in Heuristic Search.

Clemens Büchner, Thomas Keller, Salomé Eriksson, Malte Helmert

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022

Detecting Unsolvability Based on Separating Functions.

Remo Christen, Salomé Eriksson, Florian Pommerening, Malte Helmert

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2020

Certified Unsolvability for SAT Planning with Property Directed Reachability.

Salomé Eriksson, Malte Helmert

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2018

Inductive Certificates of Unsolvability for Domain-Independent Planning.

Salomé Eriksson, Gabriele Röger, Malte Helmert

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

A Proof System for Unsolvable Planning Tasks.

Salomé Eriksson, Gabriele Röger, Malte Helmert

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017

Unsolvability Certificates for Classical Planning.

Salomé Eriksson, Gabriele Röger, Malte Helmert

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017