| PARIS: Planning Algorithms for Reconfiguring Independent Sets R Christen, S Eriksson, M Katz, C Muise, A Petrov, F Pommerening, ... ECAI 2023, 453-460, 2023 | 4 | 2023 |
| Optimality certificates for classical planning E Mugdan, R Christen, S Eriksson Proceedings of the International Conference on Automated Planning and …, 2023 | 1 | 2023 |
| Fast Downward Stone Soup 2023 C Büchner, R Christen, AB Corrêa, S Eriksson, P Ferber, J Seipp, ... University of Basel, 2023 | 1 | 2023 |
| Detecting Unsolvability Based on Separating Functions R Christen, S Eriksson, F Pommerening, M Helmert Proceedings of the International Conference on Automated Planning and …, 2022 | 1 | 2022 |
| PARIS 2023: Planning Algorithms for Reconfiguring Independent Sets R Christen, S Eriksson, M Katz, C Muise, F Pommerening, J Seipp, ... Core Challenge 2023 Solver and Graph Descriptions, 4, 2023 | | 2023 |
| Zero-knowledge proofs for classical planning problems AB Corrêa, C Büchner, R Christen Proceedings of the AAAI Conference on Artificial Intelligence 37 (10), 11955 …, 2023 | | 2023 |
| DALAI – Disjunctive Action Landmarks All In C Büchner, R Christen, S Eriksson, T Keller University of Basel, 2023 | | 2023 |
| Detecting Unsolvability Based on Parity Functions R Christen | | 2021 |
| Heuristic Planning with Single Action Goal Expansion R Christen | | 2019 |
