Home • Publications • Talks • Teaching • Academic Services • Projects • Visits • All News
All News
Paper Accepted at FMCAD 2026
Aug 02, 2026
Paper Trimming Pseudeo-Boolean Proofs Berhan Oumer Adame, Bart Bogaerts, Benjamin Bogø, Simon Dold, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordström, Andy Oertel, Adrian Rebola-Pardo, and Mark Turnbull accepted at Formal Methods in Computer-Aided Design (FMCAD26). (PDF)
Workshop Paper Accepted at HSDIP 2026
Jun 29, 2026
Workshop Paper Delete Relaxation with Axioms Travis Rivera Petit, Simon Dold, David Speck and Malte Helmert accepted at the ICAPS 2026 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP26). (PDF) (code, benchmarks, and data)
Workshop Paper Accepted at HSDIP 2026
Jun 29, 2026
Workshop Paper Compact Representatives of Potential Heuristics Simon Dold and Malte Helmert accepted at the ICAPS 2026 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP26). (PDF)
Visited the FAI group for 3 days
Jun 13, 2026
Visited the Foundations of Artificial Intelligence (FAI) Group, led by Jörg Hoffmann, for 3 days.
Our paper Potential Heuristics as Real-Valued Multilinear Polynomials was recognized with the Best Paper Runner-Up Award at ICAPS26
Jun 01, 2026
Our paper Potential Heuristics as Real-Valued Multilinear Polynomials was recognized with the Best Paper Runner-Up Award at ICAPS26.
Served as a reviewer for ICAPS 2026
May 30, 2026
Served as a reviewer for ICAPS 2026.
Paper Accepted at CP 2026
May 08, 2026
Paper End-to-end Certified Graph Colouring Simon Dold, George Katsirelos, Wietze Koops, Magnus O. Myreen, Jakob Nordström, Andy Oertel and Yong Kiam Tan accepted at the 32th International Conference on Principles and Practice of Constraint Programming (CP26). (PDF)
Paper Accepted at ICAPS 2026
Mar 20, 2026
Short paper Potential Heuristics as Real-Valued Multilinear Polynomials Augusto B. Corrêa, Simon Dold and Malte Helmert accepted at the 36th International Conference on Automated Planning and Scheduling (ICAPS26) and recognized with the Best Paper Runner-Up Award. (PDF) (interactive companion)
Visited the MIAO group for 1 week
Nov 22, 2025
Visited the Mathematical Insights into Algorithms for Optimization (MIAO) Group, led by Jakob Nordström, for 1 week.
Visited the MIAO group for 1 week
Oct 11, 2025
Visited the Mathematical Insights into Algorithms for Optimization (MIAO) Group, led by Jakob Nordström, for 1 week.
Presented at AVM 2025
Sep 26, 2025
Presented Pseudo-Boolean Proof Logging for Optimal Classical Planning at the 17th Alpine Verification Meeting (AVM25).
Presented at WHOOPS 2025
Sep 14, 2025
Presented Pseudo-Boolean Proof Logging for Optimal Classical Planning at the 2nd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS25). (Slides) (Video)
Served as a reviewer for KR 2025
Jul 16, 2025
Served as a reviewer for KR 2025.
Presented at ourAMSTERcaps 2025
Jul 16, 2025
Presented Pseudo-Boolean Proof Logging for Optimal Classical Planning at the European Research Meeting on Automated Planning and Scheduling (ourAMSTERcaps25).
Supervised the bachelor's thesis of Valdrin Sheremetaj
Jul 03, 2025
Supervised the bachelor’s thesis of Valdrin Sheremetaj.
Paper Accepted at ICAPS 2025
Mar 01, 2025
Paper Pseudo-Boolean Proof Logging for Optimal Classical Planning Simon Dold, Malte Helmert, Jakob Nordström, Gabriele Röger and Tanja Schindler accepted at the 35th International Conference on Automated Planning and Scheduling (ICAPS25). (PDF)
Tutored Foundations of Artificial Intelligence
Feb 17, 2025
Tutored the Lecture Foundations of Artificial Intelligence (2025) by Prof. Dr. Malte Helmert.
Served as a reviewer for ICAPS 2025
Feb 11, 2025
Served as a reviewer for ICAPS 2025.
Visited the MIAO group for 3 months
Jan 31, 2025
Visited the Mathematical Insights into Algorithms for Optimization (MIAO) Group, led by Jakob Nordström, for 3 months.
Presented at AVM 2024
Sep 05, 2024
Presented Verifying Unsolvability in Classical Planning with VeriPB at the 16th Alpine Verification Meeting (AVM24). (Slides)
Supervised the bachelor's thesis of Gianluca Klimmer
Jul 15, 2024
Supervised the bachelor’s thesis of Gianluca Klimmer.
Served as a reviewer for HSDIP 2024
Apr 26, 2024
Served as a reviewer for HSDIP 2024.
Workshop Paper Accepted at WIPC 2024
Apr 16, 2024
Workshop Paper Planning Domain Modelling Competition Simon Dold accepted at the ICAPS 2024 Workshop on the International Planning Competition (WIPC24). (PDF)
Tutored Foundations of Artificial Intelligence
Feb 26, 2024
Tutored the Lecture Foundations of Artificial Intelligence (2024) by Prof. Dr. Malte Helmert.
Paper Accepted at ICAPS 2024
Feb 12, 2024
Paper Higher-Dimensional Potential Heuristics: Lower Bound Criterion and Connection to Correlation Complexity Simon Dold and Malte Helmert accepted at the 34th International Conference on Automated Planning and Scheduling (ICAPS24). (PDF)
Paper Accepted at AAAI 2024
Dec 09, 2023
Paper Novelty vs. Potential Heuristics: A Comparison of Hardness Measures for Satisficing Planning Simon Dold and Malte Helmert accepted at the 38th AAAI Conference on Artificial Intelligence (AAAI24). (PDF)
Tutored Planning and Optimization
Sep 20, 2023
Tutored the Lecture Planning and Optimization (2023) by Prof. Dr. Malte Helmert and Dr. Gabriele Röger.
Implemented the VoteBot
Jul 14, 2023
VoteBot for the discord server of the Reading Group on Planning and Search.
Co-Supervised the master's thesis of Tim Bachmann
May 30, 2023
Co-Supervised the master’s thesis of Tim Bachmann.
Served as an additional reviewer for ICAPS 2023
Feb 04, 2023
Served as an additional reviewer for ICAPS 2023.
Tutored Discrete Mathematics in Computer Science
Sep 21, 2022
Tutored the Lecture Discrete Mathematics in Computer Science (2022) by Prof. Dr. Malte Helmert and Dr. Gabriele Röger.
Joined the Fast Downward developer team
Mar 02, 2022
Fast Downward.
A domain-independent classical planning system.
Started as a PhD student
Mar 01, 2022
Started as a PhD student in the Artificial Intelligence research group at the University of Basel under the supervision of Prof. Dr. Malte Helmert.
Completed Master's Thesis: Correlation Complexity and Different Notions of Width
May 01, 2021
Completed my Master’s thesis titled Correlation Complexity and Different Notions of Width. (PDF) supervised by Dr. Thomas Keller and Augusto B. Corrêa, and examined by Prof. Dr. Malte Helmert.
Supervised a student project in the study week 'Fascinating Informatics' of the foundation Swiss Youth in Science.
Sep 11, 2020
Supervised the student project Intelligent Guardian during the Fascinating Informatics study week (2020) of Swiss Youth in Science, under the guidance of Prof. Dr. Florina M. Ciorba.
Tutored Introduction to Programming
Sep 21, 2019
Tutored the Lecture Introduction to Programming (2019) by Prof. Dr. Thomas Vetter and Dr. Marcel Lüthi.
Completed Bachelor's Thesis: Graphenbasierte Molekülrepräsentation im Quantum Machine Learning (Graph-based Molecule Representation in Quantum Machine Learning)
Jan 30, 2019
Completed Bachelor’s Thesis titled Graphenbasierte Molekülrepräsentation im Quantum Machine Learning (Graph-based Molecule Representation in Quantum Machine Learning) supervised by Dr. Peter Zaspel and examined by Prof. Dr. Helmut Harbrecht.