PPaperPicks

Simon Dold

3 papers at tracked venues · 1 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1CP ×1ICAPS ×1

Frequent coauthors

Jakob Nordström
×2
Malte Helmert
×2
George Katsirelos
×1
Wietze Koops
×1
Magnus O. Myreen
×1
Andy Oertel
×1
Yong Kiam Tan
×1
Gabriele Röger
×1
Tanja Schindler
×1

Papers

  1. End-to-End Certified Graph Colouring
    CP 2026 · Simon Dold,
    George Katsirelos
    ,
    Wietze Koops
    ,
    Magnus O. Myreen
    ,
    Jakob Nordström
    ,
    Andy Oertel
    ,
    Yong Kiam Tan
  2. Pseudo-Boolean Proof Logging for Optimal Classical Planning
    ICAPS 2025 · Simon Dold,
    Malte Helmert
    ,
    Jakob Nordström
    ,
    Gabriele Röger
    ,
    Tanja Schindler
  3. Novelty vs. Potential Heuristics: A Comparison of Hardness Measures for Satisficing Planning
    AAAI 2024 · Simon Dold,
    Malte Helmert