Paul Höft

According to our database, Paul Höft authored at least 4 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Representing Perfect Saturated Cost Partitioning Heuristics in Classical Planning.

Paul Höft, David Speck, Jendrik Seipp

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

2024

Versatile Cost Partitioning with Exact Sensitivity Analysis.

Paul Höft, David Speck, Florian Pommerening, Jendrik Seipp

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

2023

Sensitivity Analysis for Saturated Post-Hoc Optimization in Classical Planning.

Paul Höft, David Speck, Jendrik Seipp

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Finding Matrix Multiplication Algorithms with Classical Planning.

David Speck, Paul Höft, Daniel Gnad, Jendrik Seipp

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023