PPaperPicks

Simon Dold

2 papers at tracked venues · 1 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1ICAPS ×1

Papers

  1. Pseudo-Boolean Proof Logging for Optimal Classical Planning
    ICAPS 2025 · Simon Dold
  2. Novelty vs. Potential Heuristics: A Comparison of Hardness Measures for Satisficing Planning
    AAAI 2024 · Simon Dold