Browse by Basel Contributors ID
Mugdan, Esther and Christen, Remo and Eriksson, Salomé. (2023) Optimality Certificates for Classical Planning. In: Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023), 33. Palo Alto, California USA, pp. 286-294. Büchner, Clemens and Christen, Remo and Eriksson, Salomé and Keller, Thomas. (2023) DALAI - Disjunctive Action Landmarks All In. Büchner, Clemens and Christen, Remo and Corrêa, Augusto B. and Eriksson, Salomé and Ferber, Patrick and Seipp, Jendrik and Sievers, Silvan. (2023) Fast Downward Stone Soup 2023. Christen, Remo and Eriksson, Salomé and Pommerening, Florian and Helmert, Malte. (2022) Detecting Unsolvability Based on Separating Functions. In: Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022). Palo Alto, California USA, pp. 44-52. |