David Speck

Venues

Frequent coauthors

Papers

1. Counting and Reasoning with Plans
   AAAI 2025 · David Speck
2. Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning (Extended Abstract)
   IJCAI 2025 · David Speck
3. Interactive Exploration of Plan Spaces
   KR 2025 ·

   Daniel Gnad

   DBLP profile ↗ORCID search ↗
4. Merging Cartesian Abstractions for Classical Planning
   ECAI 2025 ·

   Mauricio Salerno

   DBLP profile ↗ORCID search ↗
5. On Performance Guarantees for Symbolic Search in Classical Planning
   ECAI 2025 · David Speck
6. Representing Perfect Saturated Cost Partitioning Heuristics in Classical Planning
   KR 2025 ·

   Paul Höft

   DBLP profile ↗ORCID search ↗