Salomé Eriksson

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

Collaborative distances:

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

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