Salomé Eriksson

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 9

Top Topics

Heuristic Search

Temporally Extended Goals

Classical Planning

Top Venues

Publications

Clemens Büchner, Remo Christen, Salomé Eriksson, Thomas Keller
Hitting Set Heuristics for Overlapping Landmarks in Satisficing Planning. SOCS (2024)
Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers, David Speck
PARIS: Planning Algorithms for Reconfiguring Independent Sets. ECAI (2023)
Esther Mugdan, Remo Christen, Salomé Eriksson
Optimality Certificates for Classical Planning. ICAPS (2023)
Clemens Büchner, Thomas Keller, Salomé Eriksson, Malte Helmert
Landmark Progression in Heuristic Search. ICAPS (2023)
Remo Christen, Salomé Eriksson, Florian Pommerening, Malte Helmert
Detecting Unsolvability Based on Separating Functions. ICAPS (2022)
Salomé Eriksson, Malte Helmert
Certified Unsolvability for SAT Planning with Property Directed Reachability. ICAPS (2020)
Salomé Eriksson, Gabriele Röger, Malte Helmert
Inductive Certificates of Unsolvability for Domain-Independent Planning. IJCAI (2018)
Salomé Eriksson, Gabriele Röger, Malte Helmert
A Proof System for Unsolvable Planning Tasks. ICAPS (2018)
Salomé Eriksson, Gabriele Röger, Malte Helmert
Unsolvability Certificates for Classical Planning. ICAPS (2017)