Unsolvability Certificates for Classical Planning. - Salomé Eriksson; Gabriele Röger; Malte Helmert (ICAPS, 2017)

A Proof System for Unsolvable Planning Tasks. - Salomé Eriksson; Gabriele Röger; Malte Helmert (ICAPS, 2018)

Inductive Certificates of Unsolvability for Domain-Independent Planning. - Salomé Eriksson; Gabriele Röger; Malte Helmert (IJCAI, 2018)

Certified Unsolvability for SAT Planning with Property Directed Reachability. - Salomé Eriksson; Malte Helmert (ICAPS, 2020)

Detecting Unsolvability Based on Separating Functions. - Remo Christen; Salomé Eriksson; Florian Pommerening; Malte Helmert (ICAPS, 2022)

Landmark Progression in Heuristic Search. - Clemens Büchner; Thomas Keller 001; Salomé Eriksson; Malte Helmert (ICAPS, 2023)

Optimality Certificates for Classical Planning. - Esther Mugdan; Remo Christen; Salomé Eriksson (ICAPS, 2023)

PARIS: Planning Algorithms for Reconfiguring Independent Sets. - Remo Christen; Salomé Eriksson; Michael Katz 001; Christian Muise; Alice Petrov; Florian Pommerening; Jendrik Seipp; Silvan Sievers; David Speck 001 (ECAI, 2023)

Hitting Set Heuristics for Overlapping Landmarks in Satisficing Planning. - Clemens Büchner; Remo Christen; Salomé Eriksson; Thomas Keller 001 (SOCS, 2024)