Follow
Paul Höft
Title
Cited by
Cited by
Year
Finding matrix multiplication algorithms with classical planning
D Speck, P Höft, D Gnad, J Seipp
Proceedings of the International Conference on Automated Planning and …, 2023
72023
Ragnarok
D Drexler, D Gnad, P Höft, J Seipp, D Speck, S Ståhlberg
Tenth International Planning Competition (IPC-10): Planner Abstracts, 2023
42023
Dofri: Planner Abstract
P Höft, D Speck, J Seipp
3*2023
Sensitivity Analysis for Saturated Post-Hoc Optimization in Classical Planning
P Höft, D Speck, J Seipp
Proceedings of the 26th European Conference on Artificial Intelligence (ECAI …, 2023
22023
Versatile Cost Partitioning with Exact Sensitivity Analysis
P Höft, D Speck, F Pommerening, J Seipp
Proceedings of the International Conference on Automated Planning and …, 2024
2024
Finding Matrix Multiplication Algorithms with Classical Planning Extended Abstract
D Speck, P Höft, D Gnad, J Seipp
2023
The system can't perform the operation now. Try again later.
Articles 1–6