Home • Publications • Talks • Teaching • Academic Services • Projects • Visits • All News
Publications
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 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 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)
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)
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)
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)
Workshop Paper Planning Domain Modelling Competition Simon Dold accepted at the ICAPS 2024 Workshop on the International Planning Competition (WIPC24). (PDF)
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 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)