Follow
Silvan Sievers
Title
Cited by
Cited by
Year
downward-lab 2.0
J Seipp, F Pommerening, S Sievers, M Helmert
90*2017
Generalized Label Reduction for Merge-and-Shrink Heuristics
S Sievers, M Wehrle, M Helmert
Heuristics and Search for Domain Independent Planning, 107, 2014
722014
Heuristics and Symmetries in Classical Planning.
A Shleyfman, M Katz, M Helmert, S Sievers, M Wehrle
AAAI 2015, 3371-3377, 2015
672015
Automatic Configuration of Sequential Planning Portfolios.
J Seipp, S Sievers, M Helmert, F Hutter
AAAI, 3364-3370, 2015
632015
Delfi: Online planner selection for cost-optimal planning
M Katz, S Sohrabi, H Samulowitz, S Sievers
IPC-9 planner abstracts, 57-64, 2018
562018
Efficient Implementation of Pattern Database Heuristics for Classical Planning
S Sievers, M Ortlieb, M Helmert
Proceedings of the Fifth Annual Symposium on Combinatorial Search (SOCS 2012 …, 2012
532012
Deep learning for cost-optimal planning: Task-dependent planner selection
S Sievers, M Katz, S Sohrabi, H Samulowitz, P Ferber
Proceedings of the AAAI Conference on Artificial Intelligence 33, 7715-7723, 2019
482019
An Analysis of Merge Strategies for Merge-and-Shrink Heuristics.
S Sievers, M Wehrle, M Helmert
ICAPS, 294-298, 2016
452016
Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks
S Sievers, G Röger, M Wehrle, M Katz
Proc. ICAPS, 2019
282019
Factored Symmetries for Merge-and-Shrink Abstractions.
S Sievers, M Wehrle, M Helmert, A Shleyfman, M Katz
AAAI, 3378-3385, 2015
272015
Automatic Instance Generation for Classical Planning
A Torralba, J Seipp, S Sievers
Proceedings of the International Conference on Automated Planning and …, 2021
262021
Symmetry-based task reduction for relaxed reachability analysis
G Röger, S Sievers, M Katz
Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
232018
Fast Downward Aidos
J Seipp, F Pommerening, S Sievers, M Wehrle, C Fawcett, Y Alkhazraji
UIPC 2016 Planner Abstracts, 28-38, 2016
232016
Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems
S Sievers, M Helmert
Journal of Artificial Intelligence Research 71, 781-883, 2021
212021
Counterexample-guided abstraction refinement for pattern selection in optimal classical planning
A Rovner, S Sievers, M Helmert
Proceedings of the International Conference on Automated Planning and …, 2019
192019
Merge-and-shrink heuristics for classical planning: Efficient implementation and partial abstractions
S Sievers
Proceedings of the 11th Annual Symposium on Combinatorial Search (SoCS 2018 …, 2018
172018
Fast Downward Cedalion
J Seipp, S Sievers, F Hutter
Eighth International Planning Competition (IPC-8) Planning and Learning Part …, 2014
172014
On the Expressive Power of Non-Linear Merge-and-Shrink Representations.
M Helmert, G Röger, S Sievers
ICAPS, 106-114, 2015
152015
Metis 2018
S Sievers, M Katz
IPC-9 planner abstracts, 83-84, 2018
112018
Merge-and-shrink abstractions for classical planning: theory, strategies, and implementation
S Sievers
University_of_Basel, 2017
102017
The system can't perform the operation now. Try again later.
Articles 1–20