Home • Publications • Teaching • Academic Services • Projects • All News
Publications
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). To appear (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). To appear (PDF)
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)