Simon Dold
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2024–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CP | End-to-End Certified Graph Colouring. | Simon Dold, George Katsirelos, Wietze Koops, Magnus O. Myreen, Jakob Nordstrm, Andy Oertel, Yong Kiam Tan |
| 2025 | ICAPS | Pseudo-Boolean Proof Logging for Optimal Classical Planning. | Simon Dold, Malte Helmert, Jakob Nordstrm, Gabriele Rger, Tanja Schindler |
| 2024 | AAAI | Novelty vs. Potential Heuristics: A Comparison of Hardness Measures for Satisficing Planning. | Simon Dold, Malte Helmert |
| 2024 | ICAPS | Higher-Dimensional Potential Heuristics: Lower Bound Criterion and Connection to Correlation Complexity. | Simon Dold, Malte Helmert |