David Speck
Albert-Ludwigs-Universität Freiburg
H-index: 9
Europe-Germany
Top articles of David Speck
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning | David Speck Daniel Gnad | 2024/3/6 | |
Versatile Cost Partitioning with Exact Sensitivity Analysis | Paul Höft David Speck Florian Pommerening Jendrik Seipp | 2024/3/6 | |
SymK – A Versatile Symbolic Search Planner | Tenth International Planning Competition (IPC-10): planner abstracts | David Speck | 2023/5 |
PARIS: Planning algorithms for reconfiguring independent sets | Remo Christen Salomé Eriksson Michael Katz Christian Muise Alice Petrov | 2023/4/13 | |
PARIS 2023: Planning Algorithms for Reconfiguring Independent Sets | Core Challenge 2023 Solver and Graph Descriptions | Remo Christen Salomé Eriksson Michael Katz Christian Muise Florian Pommerening | 2023/10 |
On Partial Satisfaction Planning with Total-Order HTNs | Proceedings of the International Conference on Automated Planning and Scheduling | Gregor Behnke David Speck Michael Katz Shirin Sohrabi | 2023/7/1 |
Sensitivity Analysis for Saturated Post-hoc Optimization in Classical Planning | Paul Höft David Speck Jendrik Seipp | 2023 | |
Finding Matrix Multiplication Algorithms with Classical Planning Extended Abstract | Proceedings of the International Conference on Automated Planning and Scheduling | David Speck Paul Höft Daniel Gnad Jendrik Seipp | 2023/7/1 |
Dofri: Planner Abstract | Proc. IJCAI | Paul Höft David Speck Jendrik Seipp | 2013 |
New Refinement Strategies for Cartesian Abstractions | Proceedings of the International Conference on Automated Planning and Scheduling | David Speck Jendrik Seipp | 2022/6/13 |
Loopless Top-K Planning | Julian von Tschammer Robert Mattmüller David Speck | 2022 | |
On Bidirectional Heuristic Search in Classical Planning: An Analysis of BAE* | Proceedings of the International Symposium on Combinatorial Search | Kilian Hu David Speck | 2022/7/17 |
Learning Domain-Independent Policies for Open List Selection | André Biedenkapp David Speck Silvan Sievers Frank Hutter Marius Lindauer | 2022 | |
Symbolic Search for Optimal Planning with Expressive Extensions | David Speck | 2022/2/23 | |
On the Compilability and Expressive Power of State-Dependent Action Costs | Proceedings of the International Conference on Automated Planning and Scheduling | David Speck David Borukhson Robert Mattmüller Bernhard Nebel | 2021/5/17 |
Symbolic Search for Optimal Total-Order HTN Planning | Proceedings of the AAAI Conference on Artificial Intelligence | Gregor Behnke David Speck | 2021/5/18 |
Symbolic Search for Oversubscription Planning | David Speck Michael Katz | 2021 | |
Device and method for planning an operation of a technical system | 2021/12/9 | ||
Learning Heuristic Selection with Dynamic Algorithm Configuration | David Speck* André Biedenkapp* Frank Hutter Robert Mattmüller Marius Lindauer | 2021/8/2 | |
Subset-Saturated Transition Cost Partitioning: With Proofs | Dominik Drexler Jendrik Seipp David Speck | 2021 |