Remo Christen

According to our database, Remo Christen authored at least 5 papers between 2022 and 2024.

Collaborative distances:

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

2024

Hitting Set Heuristics for Overlapping Landmarks in Satisficing Planning.

Clemens Büchner, Remo Christen, Salomé Eriksson, Thomas Keller

Proceedings of the Seventeenth International Symposium on Combinatorial Search, 2024

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

Zero-Knowledge Proofs for Classical Planning Problems.

Augusto B. Corrêa, Clemens Büchner, Remo Christen

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 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