|
ID
|
Author
|
Year
|
Title
|
Publisher
|
| 4699252 |
Gnad, Daniel; Sievers, Silvan; Torralba, Álvaro |
2023 |
Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases |
Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023) |
| 4697471 |
Kreft, Raphael; Büchner, Clemens; Sievers, Silvan; Helmert, Malte |
2023 |
Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement |
Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023) |
| 4699253 |
Klößner, Thorsten; Torralba, Álvaro; Steinmetz, Marcel; Sievers, Silvan |
2023 |
A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems |
Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023) |
| 4653020 |
Sievers, Silvan; Gnad, Daniel; Torralba, Álvaro |
2022 |
Additive Pattern Databases for Decoupled Search |
Proceedings of the 15th International Symposium on Combinatorial Search |
| 4642634 |
Helmert, Malte; Sievers, Silvan; Rovner, Alexander; Corręa, Augusto B. |
2022 |
On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond |
Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022) |
| 4662422 |
Biedenkapp, André; Speck, David; Sievers, Silvan; Hutter, Frank; Lindauer, Marius; Seipp, Jendrik |
2022 |
Learning Domain-Independent Policies for Open List Selection |
PRL 2022: Proceedings of the PRL Workshop - Bridging the Gap Between AI Planning and Reinforcement Learning |
| 4624407 |
Pommerening, Florian; Keller, Thomas; Halasi, Valentina; Seipp, Jendrik; Sievers, Silvan; Helmert, Malte |
2021 |
Dantzig-Wolfe Decomposition for Cost Partitioning |
Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021) |
| 4624344 |
Sievers, Silvan; Wehrle, Martin |
2021 |
On Weak Stubborn Sets in Classical Planning |
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence |
| 4624343 |
Torralba, Álvaro; Seipp, Jendrik; Sievers, Silvan |
2021 |
Automatic Instance Generation for Classical Planning |
Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021) |
| 4597219 |
Sievers, Silvan; Pommerening, Florian; Keller, Thomas; Helmert, Malte |
2020 |
Cost-Partitioned Merge-and-Shrink Heuristics for Optimal Classical Planning |
Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020) |
| 4604595 |
Röger, Gabriele; Helmert, Malte; Seipp, Jendrik; Sievers, Silvan |
2020 |
An Atom-Centric Perspective on Stubborn Sets |
Proceedings of the 13th Annual Symposium on Combinatorial Search (SoCS 2020) |
| 4614421 |
Torralba, Álvaro; Seipp, Jendrik; Sievers, Silvan |
2020 |
Automatic Configuration of Benchmark Sets for Classical Planning |
HSDIP 2020: Proceedings of the 12th Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP) |
| 4501106 |
Sievers, Silvan; Katz, Michael; Sohrabi, Shirin; Samulowitz, Horst; Ferber, Patrick |
2019 |
Deep Learning for Cost-Optimal Planning: Task-Dependent Planner Selection |
Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019) |
| 4527289 |
Torralba, Álvaro; Sievers, Silvan |
2019 |
Merge-and-Shrink Task Reformulation for Classical Planning |
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence |
| 4501103 |
Rovner, Alexander; Sievers, Silvan; Helmert, Malte |
2019 |
Counterexample-Guided Abstraction Refinement for Pattern Selection in Optimal Classical Planning |
Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019) |
| 4501105 |
Sievers, Silvan; Röger, Gabriele; Wehrle, Martin; Katz, Michael |
2019 |
Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks |
Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019) |
| 4485914 |
Sievers, Silvan |
2018 |
Merge-and-Shrink Heuristics for Classical Planning: Efficient Implementation and Partial Abstractions |
Proceedings of the Eleventh Annual Symposium on Combinatorial Search (SoCS 2018) |
| 4405932 |
Röger, Gabriele; Sievers, Silvan; Katz, Michael |
2018 |
Symmetry-based Task Reduction for Relaxed Reachability Analysis |
Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018) |
| 4244008 |
Sievers, Silvan; Wehrle, Martin; Helmert, Malte; Katz, Michael |
2017 |
Strengthening Canonical Pattern Databases with Structural Symmetries |
Proceedings of the 10th Annual Symposium on Combinatorial Search (SoCS 2017) |
