Novelty vs. Potential Heuristics: A Comparison of Hardness Measures for Satisficing Planning. - Simon Dold 001; Malte Helmert (AAAI, 2024)

Higher-Dimensional Potential Heuristics: Lower Bound Criterion and Connection to Correlation Complexity. - Simon Dold 001; Malte Helmert (ICAPS, 2024)

Pseudo-Boolean Proof Logging for Optimal Classical Planning. - Simon Dold 001; Malte Helmert; Jakob Nordström; Gabriele Röger; Tanja Schindler (CoRR, 2025)