Follow
Silvan Sievers
Title
Cited by
Cited by
Year
downward-lab 2.0
J Seipp, F Pommerening, S Sievers, M Helmert
106*2017
Heuristics and Symmetries in Classical Planning.
A Shleyfman, M Katz, M Helmert, S Sievers, M Wehrle
AAAI 2015, 3371-3377, 2015
772015
Generalized Label Reduction for Merge-and-Shrink Heuristics
S Sievers, M Wehrle, M Helmert
Heuristics and Search for Domain Independent Planning, 107, 2014
742014
Delfi: Online planner selection for cost-optimal planning
M Katz, S Sohrabi, H Samulowitz, S Sievers
IPC-9 planner abstracts, 57-64, 2018
632018
Automatic Configuration of Sequential Planning Portfolios.
J Seipp, S Sievers, M Helmert, F Hutter
AAAI, 3364-3370, 2015
622015
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
542012
An Analysis of Merge Strategies for Merge-and-Shrink Heuristics.
S Sievers, M Wehrle, M Helmert
ICAPS, 294-298, 2016
492016
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
472019
Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks
S Sievers, G Röger, M Wehrle, M Katz
Proc. ICAPS, 2019
342019
Automatic Instance Generation for Classical Planning
A Torralba, J Seipp, S Sievers
Proceedings of the International Conference on Automated Planning and …, 2021
332021
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
292021
Factored Symmetries for Merge-and-Shrink Abstractions.
S Sievers, M Wehrle, M Helmert, A Shleyfman, M Katz
AAAI, 3378-3385, 2015
272015
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
262018
Fast Downward Aidos
J Seipp, F Pommerening, S Sievers, M Wehrle, C Fawcett, Y Alkhazraji
UIPC 2016 Planner Abstracts, 28-38, 2016
242016
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
222019
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
192018
Fast Downward Cedalion
J Seipp, S Sievers, F Hutter
Eighth International Planning Competition (IPC-8) Planning and Learning Part …, 2014
182014
On the Expressive Power of Non-Linear Merge-and-Shrink Representations.
M Helmert, G Röger, S Sievers
ICAPS, 106-114, 2015
172015
Metis 2018
S Sievers, M Katz
IPC-9 planner abstracts, 83-84, 2018
122018
Structural Symmetries of the Lifted Representation of Classical Planning Tasks
S Sievers, G Röger, M Wehrle, M Katz
ICAPS 2017 Workshop on Heuristics and Search for Domain-independent Planning …, 2017
122017
The system can't perform the operation now. Try again later.
Articles 1–20