Dr. Silvan Sievers
About me
I am a post-doctoral researcher within the AI group at the University of Basel, where I previously completed my PhD (Dr. phil.) under the supervision of Malte Helmert in October 2017. Before that, I received my Master's degree from University of Freiburg in April 2012.
My main research interest lies in the area of classical domain-independent planning, where I focus on heuristic search algorithms for solving planning tasks optimally. I am specifically interested in the merge-and-shrink framework and other abstraction heuristics such as pattern databases, and furthermore in using symmetries for pruning and task transformations. I also worked on creating planning portfolios using learning techniques.
Software
-
I am a regular contributor to Fast Downward. All extensions
of Fast Downward described in my publications are available online
and are linked below each publication in the list below. Furthermore,
I try to keep several code bases, including some of those used for
papers, up-to-date based on the most recent Fast Downward release.
Please cite the appropriate paper when building on these. If in doubt
or if you cannot find the right code base, please contact me.
- merge-strategies: merge-and-shrink framework with additional merge strategies, factored symmetries and more.
- structural-symmetries-pruning: symmetry-based pruning for search algorithms.
- symmetric-lookups: symmetric heuristic look-ups for planning, based on above repository structural-symmetries-pruning.
- pddl-symmetries: abstract structure graphs and structural symmetries of PDDL tasks, implemented in the translator.
- weak-stubborn-sets: weak stubborn sets implemented on top of the existing stubborn set module.
- doko: a C++ framework implementing the game doppelkopf, with an integrated player based on UCT. See my Master's thesis and the KI 2015 paper below for a description of the game and an evaluation of the UCT player.
Tutorials
-
SoCS 2021
master class on "Abstraction and Cost Partitioning in Automated Planning"
(Silvan Sievers, Gabriele Röger) -
ICAPS 2015
tutorial "Latest Trends in Abstraction Heuristics for Classical Planning"
(with Malte Helmert and Jendrik Seipp)
Awards
- Runner-Up, Deterministic Sequential Satisficing Track for the planning system Fast Downward Stone Soup 2023 (PDF) with Clemens Büchner, Remo Christen, Augusto B. Corrêa, Salomé Eriksson, Patrick Ferber and Jendrik Seipp at the 10th International Planning Competition (IPC 2023) at ICAPS 2023.
- Runner-Up, Deterministic Sequential Agile Track for the planning system Fast Downward Stone Soup 2023 (PDF) with Clemens Büchner, Remo Christen, Augusto B. Corrêa, Salomé Eriksson, Patrick Ferber and Jendrik Seipp at the 10th International Planning Competition (IPC 2023) at ICAPS 2023.
- SoCS 2022 Best Paper Award for the paper Additive Pattern Databases for Decoupled Search (PDF) with Daniel Gnad and Álvaro Torralba at the 15th International Symposium on Combinatorial Search (SoCS 2022).
- CoRe Challenge 2022 Awards for the planning system PARIS: Planning Algorithms for Reconfiguring Independent Sets (PDF) with Remo Christen, Salomé Eriksson, Michael Katz, Emil Keyder, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp and David Speck at the 2nd Workshop on Combinatorial Reconfiguration, affiliated with the 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022).
- SoCS 2020 Best Paper Award for the paper An Atom-Centric Perspective on Stubborn Sets (PDF) with Gabriele Röger, Malte Helmert and Jendrik Seipp at the 13th International Symposium on Combinatorial Search (SoCS 2020).
- Distinguished Program Committee Member at the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019).
- Winner, Deterministic Sequential Optimal Track for the planning system Delfi: Online Planner Selection for Cost-Optimal Planning (PDF) with Michael Katz, Shirin Sohrabi and Horst Samulowitz at the 9th International Planning Competition (IPC 2018) at ICAPS 2018.
- Outstanding PC Member Award at the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018).
- Winner, Unsolvability IPC 2016 for the planning system Fast Downward Aidos (PDF) with Jendrik Seipp, Florian Pommerening, Martin Wehrle, Chris Fawcett and Yusra Alkhazraji at the 1st Unsolvability International Planning Competition (UIPC 2016) at ICAPS 2016.
- Runner-Up and "Best Learner" Award, IPC 2014 Learning Track for the planning system Fast Downward Cedalion (PDF) with Jendrik Seipp and Frank Hutter at the 8th International Planning Competition (IPC 2014) at ICAPS 2014.
- Third Place and "Best Basic Solver" Award, IPC 2014 Learning Track for the planning system Fast Downward SMAC (PDF) with Jendrik Seipp and Frank Hutter at the 8th International Planning Competition (IPC 2014) at ICAPS 2014.
- AAAI 2014 Outstanding Paper Award Honorable Mention for the paper Generalized Label Reduction for Merge-and-Shrink Heuristics (PDF) with Martin Wehrle and Malte Helmert at the 28th AAAI Conference on Artificial Intelligence (AAAI 2014).
Publications
(Show all abstracts) (Hide all abstracts)
2024
-
Thorsten Klößner, Álvaro Torralba, Marcel Steinmetz and Silvan Sievers.
Merge-and-Shrink Heuristics for SSPs with Prune Transformations.
In Proceedings of the 27th European Conference on Artifical Intelligence (ECAI 2024). 2024.
(Show abstract) (PDF)
-
Silvan Sievers, Thomas Keller and Gabriele Röger.
Merging or Computing Saturated Cost Partitionings? A Merge Strategy for the Merge-and-Shrink Framework.
In Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), pp. 541-545. 2024.
(Show abstract) (PDF) (code, scripts and data) (slides; PDF)
2023
-
Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers and David Speck.
PARIS: Planning Algorithms for Reconfiguring Independent Sets.
In Proceedings of the 26th European Conference on Artifical Intelligence (ECAI 2023), pp. 453-460. 2023.
(PDF) (slides; PDF) (poster; PDF) (code, scripts and data)
-
Patrick Ferber, Michael Katz, Jendrik Seipp, Silvan Sievers, Daniel Borrajo, Isabel Cenamor, Tomas de la Rosa, Fernando Fernandez-Rebollo, Carlos Linares López, Sergio Nuñez, Alberto Pozanco, Horst Samulowitz and Shirin Sohrabi.
Hapori Delfi (planner abstract).
In Tenth International Planning Competition (IPC 2023), Deterministic Part. 2023.
(PDF)
-
Patrick Ferber, Michael Katz, Jendrik Seipp, Silvan Sievers, Daniel Borrajo, Isabel Cenamor, Tomas de la Rosa, Fernando Fernandez-Rebollo, Carlos Linares López, Sergio Nuñez, Alberto Pozanco, Horst Samulowitz and Shirin Sohrabi.
Hapori Explainable Decision Tree (planner abstract).
In Tenth International Planning Competition (IPC 2023), Deterministic Part. 2023.
(PDF)
-
Patrick Ferber, Michael Katz, Jendrik Seipp, Silvan Sievers, Daniel Borrajo, Isabel Cenamor, Tomas de la Rosa, Fernando Fernandez-Rebollo, Carlos Linares López, Sergio Nuñez, Alberto Pozanco, Horst Samulowitz and Shirin Sohrabi.
Hapori Explainable Linear Regression (planner abstract).
In Tenth International Planning Competition (IPC 2023), Deterministic Part. 2023.
(PDF)
-
Patrick Ferber, Michael Katz, Jendrik Seipp, Silvan Sievers, Daniel Borrajo, Isabel Cenamor, Tomas de la Rosa, Fernando Fernandez-Rebollo, Carlos Linares López, Sergio Nuñez, Alberto Pozanco, Horst Samulowitz and Shirin Sohrabi.
Hapori Greedy (planner abstract).
In Tenth International Planning Competition (IPC 2023), Deterministic Part. 2023.
(PDF)
-
Patrick Ferber, Michael Katz, Jendrik Seipp, Silvan Sievers, Daniel Borrajo, Isabel Cenamor, Tomas de la Rosa, Fernando Fernandez-Rebollo, Carlos Linares López, Sergio Nuñez, Alberto Pozanco, Horst Samulowitz and Shirin Sohrabi.
Hapori IBaCoP2 (planner abstract).
In Tenth International Planning Competition (IPC 2023), Deterministic Part. 2023.
(PDF)
-
Patrick Ferber, Michael Katz, Jendrik Seipp, Silvan Sievers, Daniel Borrajo, Isabel Cenamor, Tomas de la Rosa, Fernando Fernandez-Rebollo, Carlos Linares López, Sergio Nuñez, Alberto Pozanco, Horst Samulowitz and Shirin Sohrabi.
Hapori MIPlan (planner abstract).
In Tenth International Planning Competition (IPC 2023), Deterministic Part. 2023.
(PDF)
-
Patrick Ferber, Michael Katz, Jendrik Seipp, Silvan Sievers, Daniel Borrajo, Isabel Cenamor, Tomas de la Rosa, Fernando Fernandez-Rebollo, Carlos Linares López, Sergio Nuñez, Alberto Pozanco, Horst Samulowitz and Shirin Sohrabi.
Hapori Stone Soup (planner abstract).
In Tenth International Planning Competition (IPC 2023), Deterministic Part. 2023.
(PDF)
-
Daniel Gnad, Silvan Sievers and Álvaro Torralba.
DecAbStar (planner abstract).
In Tenth International Planning Competition (IPC 2023), Deterministic Part. 2023.
(PDF)
-
Álvaro Torralba, Silvan Sievers, Rasmus G. Tollund and Kristian Ø. Nielsen.
FTSPlan: Task Reformulation via Merge-and-Shrink (planner abstract).
In Tenth International Planning Competition (IPC 2023), Deterministic Part. 2023.
-
Clemens Büchner, Remo Christen, Augusto B. Corrêa, Salomé Eriksson, Patrick Ferber, Jendrik Seipp and Silvan Sievers.
Fast Downward Stone Soup 2023 (planner abstract).
In Tenth International Planning Competition (IPC 2023), Deterministic Part. 2023.
(PDF) (code, scripts and data)
-
Raphael Kreft, Clemens Büchner and Silvan Sievers.
CEGAR++: Saturated Cost Partitioning for Diverse Sets of Abstractions (planner abstract).
In Tenth International Planning Competition (IPC 2023), Deterministic Part. 2023.
(PDF)
-
Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers and David Speck.
PARIS: Planning Algorithms for Reconfiguring Independent Sets.
In Proceedings of the ICAPS 2023 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2023). 2023.
Note: This paper is superseded by the ECAI 2023 paper by the same name.
(Show abstract) (PDF) (slides; PDF)
-
Thorsten Klößner, Álvaro Torralba, Marcel Steinmetz and Silvan Sievers.
A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems.
In Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), pp. 203-211. 2023.
(Show abstract) (PDF) (technical report; PDF) (slides; PDF)
-
Daniel Gnad, Silvan Sievers and Álvaro Torralba.
Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases.
In Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), pp. 138-147. 2023.
(Show abstract) (PDF) (Supplementary Material; PDF) (slides; PDF) (poster; PDF) (code, scripts and data)
-
Raphael Kreft, Clemens Büchner, Silvan Sievers and Malte Helmert.
Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement.
In Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), pp. 221-226. 2023.
(Show abstract) (PDF) (slides; PDF) (poster; PDF) (code)
2022
-
Silvan Sievers, Daniel Gnad and Álvaro Torralba.
Additive Pattern Databases for Decoupled Search.
In Proceedings of the 15th International Symposium on Combinatorial Search (SoCS 2022), pp. 180-189. 2022.
Note: SoCS 2022 Best Paper Award.
(Show abstract) (PDF) (Additional Material; PDF) (slides; PDF) (code, scripts and data)
-
Remo Christen, Salomé Eriksson, Michael Katz, Emil Keyder, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers and David Speck.
(PARIS) Planning Algorithms for Reconfiguring Independent Sets.
In First Combinatorial Reconfiguration Challenge (CoRe Challenge 2022), pp. 15-22. 2022.
(PDF)
-
Malte Helmert, Silvan Sievers, Alexander Rovner and Augusto B. Corrêa.
On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond.
In Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), pp. 124-133. 2022.
Erratum: In the published version of the paper, the proof of Theorem 7 mistakenly says "DDA" instead of "SDDA" in some places. This is fixed in the version provided here.
(Show abstract) (PDF) (slides; PDF) (poster; PDF)
-
André Biedenkapp, David Speck, Silvan Sievers, Frank Hutter, Marius Lindauer and Jendrik Seipp.
Learning Domain-Independent Policies for Open List Selection.
In Proceedings of the ICAPS 2022 Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL 2022). 2022.
(Show abstract) (PDF) (slides; PDF) (talk)
-
Silvan Sievers, Daniel Gnad and Álvaro Torralba.
Additive Pattern Databases for Decoupled Search.
In Proceedings of the ICAPS 2022 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2022). 2022.
Note: This paper is superseded by the SoCS 2022 paper by the same name.
(Show abstract) (PDF) (Additional Material; PDF) (slides; PDF) (talk; MP4) (code, scripts and data)
2021
-
Silvan Sievers and Martin Wehrle.
On Weak Stubborn Sets in Classical Planning.
In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), pp. 4167-4174. 2021.
(Show abstract) (PDF) (technical report; PDF) (slides (short); PDF) (slides (long); PDF) (poster; PDF) (2m talk) (15m talk) (code, scripts and data)
-
Silvan Sievers and Malte Helmert.
Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems.
Journal of Artificial Intelligence Research 71, pp. 781-883. 2021.
(Show abstract) (PDF) (slides; PDF) (poster; PDF) (2m talk) (15m talk)
-
Álvaro Torralba, Jendrik Seipp and Silvan Sievers.
Automatic Instance Generation for Classical Planning.
In Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), pp. 376-384. 2021.
(Show abstract) (PDF) (slides; PDF) (talk) (poster; PDF) (code)
-
Florian Pommerening, Thomas Keller, Valentina Halasi, Jendrik Seipp, Silvan Sievers and Malte Helmert.
Dantzig-Wolfe Decomposition for Cost Partitioning.
In Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), pp. 271-280. 2021.
(Show abstract) (PDF) (technical report; PDF) (slides; PDF) (recording) (poster; PDF) (code)
2020
-
Silvan Sievers, Florian Pommerening, Thomas Keller and Malte Helmert.
Cost-Partitioned Merge-and-Shrink Heuristics for Optimal Classical Planning.
In Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), pp. 4152-4160. 2020.
(Show abstract) (PDF) (technical report; PDF) (slides (short); PDF) (slides (long); PDF) (poster; PDF) (5m talk; MP4) (15m talk; MP4) (code, scripts and data)
-
Álvaro Torralba, Jendrik Seipp and Silvan Sievers.
Automatic Configuration of Benchmark Sets for Classical Planning.
In Proceedings of the ICAPS 2020 Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP 2020), pp. 58-66. 2020.
Superseded by the ICAPS 2021 paper "Automatic Instance Generation for Classical Planning".
(Show abstract) (PDF) (slides; PDF) (recording)
-
Gabriele Röger, Malte Helmert, Jendrik Seipp and Silvan Sievers.
An Atom-Centric Perspective on Stubborn Sets.
In Proceedings of the 13th Annual Symposium on Combinatorial Search (SoCS 2020), pp. 57-65. 2020.
Note: SoCS 2020 Best Paper Award.
(Show abstract) (PDF) (slides; HTML) (recording; MP4) (code, scripts and data)
2019
-
Álvaro Torralba and Silvan Sievers.
Merge-and-Shrink Task Reformulation for Classical Planning.
In Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), pp. 5644-5652. 2019.
(Show abstract) (PDF) (technical report; PDF) (poster; PDF) (code and scripts) (data)
-
Alexander Rovner, Silvan Sievers and Malte Helmert.
Counterexample-Guided Abstraction Refinement for Pattern Selection in Optimal Classical Planning.
In Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), pp. 362-367. 2019.
(Show abstract) (PDF) (technical report; PDF) (slides; PDF) (code and scripts) (data)
-
Silvan Sievers, Gabriele Röger, Martin Wehrle and Michael Katz.
Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks.
In Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), pp. 446-454. 2019.
(Show abstract) (PDF) (slides; PDF) (code and scripts) (data)
-
Álvaro Torralba and Silvan Sievers.
Merge-and-Shrink Task Reformulation for Classical Planning.
In Proceedings of the ICAPS-2019 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2019), pp. 18-27. 2019.
Superseded by the IJCAI 2019 paper by the same name.
(Show abstract) (PDF) (slides; PDF)
-
Silvan Sievers, Michael Katz, Shirin Sohrabi, Horst Samulowitz and Patrick Ferber.
Deep Learning for Cost-Optimal Planning: Task-Dependent Planner Selection.
In Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019), pp. 7715-7723. 2019.
(Show abstract) (PDF) (slides; PDF) (poster; PDF) (code, scripts and data)
2018
-
Silvan Sievers.
Merge-and-Shrink Heuristics for Classical Planning: Efficient Implementation and Partial Abstractions.
In Proceedings of the 11th Annual Symposium on Combinatorial Search (SoCS 2018), pp. 90-98. 2018.
Erratum: This version of the paper fixes small mistakes in Tables 2 and 4: in the former, MIASM now reads MIASMdfp for clarity, and in the latter, the last two vertical blocks labeled RL are now correctly labeled sbMIASM and SCCdfp. Addtionally, in Table 4 the row "Search time" was removed since it was not intended to be included in the table. Also, the caption contained a typo.
(Show abstract) (PDF) (slides; PDF) (code and scripts) (data)
-
Michael Katz, Shirin Sohrabi, Horst Samulowitz and Silvan Sievers.
Delfi: Online Planner Selection for Cost-Optimal Planning (planner abstract).
In Ninth International Planning Competition (IPC 2018), Deterministic Part, pp. 57-68. 2018.
(PDF) (code, scripts and data)
-
Silvan Sievers and Michael Katz.
Metis 2018 (planner abstract).
In Ninth International Planning Competition (IPC 2018), Deterministic Part, pp. 83-84. 2018.
(PDF)
-
Silvan Sievers.
Fast Downward Merge-and-Shrink (planner abstract).
In Ninth International Planning Competition (IPC 2018), Deterministic Part, pp. 85-90. 2018.
(PDF) (data)
-
Gabriele Röger, Silvan Sievers and Michael Katz.
Symmetry-based Task Reduction for Relaxed Reachability Analysis.
In Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018), pp. 208-217. 2018.
(Show abstract) (PDF) (slides; PDF) (code, scripts and data)
2017
-
Silvan Sievers.
Merge-and-Shrink Abstractions for Classical Planning: Theory, Strategies, and Implementation.
Ph.D. Thesis, University of Basel, Switzerland, 2017.
Date of disputation: 2017-10-27. Final printing in February 2018, hence the year on the title page. Please use the year 2017 for citing.
(Show abstract) (PDF) (slides; PDF) (code) (additional code) (data) (additional data) (scripts)
-
Silvan Sievers, Gabriele Röger, Martin Wehrle and Michael Katz.
Structural Symmetries of the Lifted Representation of Classical Planning Tasks.
In Proceedings of the ICAPS-2017 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2017), pp. 67-74. 2017.
Note: This paper is superseded by the ICAPS 2019 paper "Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks".
Erratum: Definition 7 is wrong because the for a given ASG, the corresponding abstract structure is not uniquely defined. Consider the following example: A = {B, C}, B = (X, Y), C = (X, Z). ASG_A will have nodes a, b, c, x, y, and z, and edges a -> b, a -> c, b -> x -> y, and c -> x -> z. The problem lies in x being re-used as component of b and c: now there are multiple possible abstract structures A' that induce ASG_A, namely all A' = {B, C} where B is any of (X, Y) and (X, Z) and C is any of (X, Z) and (X, Y). This error is fixed in the ICAPS 2019 paper.
(Show abstract) (PDF) (slides; PDF) (code, scripts and data)
-
Silvan Sievers, Martin Wehrle, Malte Helmert and Michael Katz.
Strengthening Canonical Pattern Databases with Structural Symmetries.
In Proceedings of the ICAPS-2017 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2017), pp. 75-83. 2017.
Superseded by the SoCS 2017 paper by the same name.
(Show abstract) (PDF) (slides; PDF)
-
Silvan Sievers, Martin Wehrle, Malte Helmert and Michael Katz.
Strengthening Canonical Pattern Databases with Structural Symmetries.
In Proceedings of the 10th Annual Symposium on Combinatorial Search (SoCS 2017), pp. 91-99. 2017.
(Show abstract) (PDF) (slides; PDF) (code, scripts and data)
2016
-
Martin Wehrle, Silvan Sievers and Malte Helmert.
Graph-Based Factorization of Classical Planning Problems.
In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), pp. 3286-3292. 2016.
(Show abstract) (PDF) (slides; PDF) (poster; PDF) (code, scripts and data)
-
Jendrik Seipp, Florian Pommerening, Silvan Sievers, Martin Wehrle, Chris Fawcett and Yusra Alkhazraji.
Fast Downward Aidos (planner abstract).
In First Unsolvability International Planning Competition (UIPC 2016). 2016.
(PDF) (Code)
-
Silvan Sievers, Martin Wehrle and Malte Helmert.
An Analysis of Merge Strategies for Merge-and-Shrink Heuristics.
In Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016), pp. 294-298. 2016.
(Show abstract) (PDF) (technical report; PDF) (slides; PDF) (poster; PDF) (code, scripts and data)
2015
-
Silvan Sievers and Malte Helmert.
A Doppelkopf Player Based on UCT.
In Proceedings of the 38th Annual German Conference on Artificial Intelligence (KI 2015), pp. 151-165. 2015.
(Show abstract) (PDF) (slides; PDF) (poster; PDF) (code, scripts and data)
-
Silvan Sievers, Martin Wehrle, Malte Helmert and Michael Katz.
An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search.
In Proceedings of the 38th Annual German Conference on Artificial Intelligence (KI 2015), pp. 166-180. 2015.
(Show abstract) (PDF) (slides; PDF) (poster; PDF) (code, scripts and data)
-
Malte Helmert, Gabriele Röger and Silvan Sievers.
On the Expressive Power of Non-Linear Merge-and-Shrink Representations.
In Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015), pp. 106-114. 2015.
(Show abstract) (PDF)
-
Jendrik Seipp, Silvan Sievers, Malte Helmert and Frank Hutter.
Automatic Configuration of Sequential Planning Portfolios.
In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), pp. 3364-3370. 2015.
(Show abstract) (PDF) (technical report with portfolios; PDF) (slides; PDF) (code and data) (additional data)
-
Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers and Martin Wehrle.
Heuristics and Symmetries in Classical Planning.
In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), pp. 3371-3377. 2015.
(Show abstract) (PDF) (slides; PDF) (technical report; PDF)
-
Silvan Sievers, Martin Wehrle, Malte Helmert, Alexander Shleyfman and Michael Katz.
Factored Symmetries for Merge-and-Shrink Abstractions.
In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), pp. 3378-3385. 2015.
(Show abstract) (PDF) (poster; PDF) (code, scripts and data)
2014
-
Jendrik Seipp, Silvan Sievers and Frank Hutter.
Fast Downward Cedalion (planner abstract).
In Eighth International Planning Competition (IPC 2014), Planning and Learning Part. 2014.
(PDF) (code and data)
-
Jendrik Seipp, Silvan Sievers and Frank Hutter.
Fast Downward SMAC (planner abstract).
In Eighth International Planning Competition (IPC 2014), Planning and Learning Part. 2014.
(PDF) (code and data)
-
Silvan Sievers, Martin Wehrle and Malte Helmert.
Bounded Intention Planning Revisited.
In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), pp. 1097-1098. 2014.
Erratum: On the first page, right column, the paper describes a zero-cost "freeze operator intention" operator Freeze(v, x). In addition to the stated precondition and effect, there should also be a prevail condition: prv[v]=x.
(Show abstract) (PDF) (technical report; PDF) (poster; PDF)
-
Silvan Sievers, Martin Wehrle and Malte Helmert.
Generalized Label Reduction for Merge-and-Shrink Heuristics.
In Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014), pp. 2358-2366. 2014.
Note: AAAI 2014 Outstanding Paper Award Honorable Mention.
(Show abstract) (PDF) (slides; PDF) (code, scripts and data)
-
Jendrik Seipp, Silvan Sievers and Frank Hutter.
Fast Downward Cedalion (planner abstract).
In Eighth International Planning Competition (IPC 2014), Deterministic Part, pp. 17-27. 2014.
(PDF) (code and data)
-
Silvan Sievers, Martin Wehrle and Malte Helmert.
Generalized Label Reduction for Merge-and-Shrink Heuristics.
In Proceedings of the ICAPS-2014 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP), pp. 107-115. 2014.
Superseded by the AAAI 2014 paper by the same name.
(Show abstract) (PDF) (slides; PDF) (poster; PDF)
2013
-
Jendrik Seipp, Silvan Sievers and Frank Hutter.
Automatic Configuration of Sequential Planning Portfolios.
Technical Report CS-2013-005, Department of Mathematics and Computer Science, University of Basel, 2013.
Superseded by the AAAI 2015 paper by the same name.
(Show abstract) (PDF)
2012
-
Silvan Sievers, Manuela Ortlieb and Malte Helmert.
Efficient Implementation of Pattern Database Heuristics for Classical Planning.
In Proceedings of the Fifth Annual Symposium on Combinatorial Search (SoCS 2012), pp. 105-111. 2012.
(Show abstract) (PDF) (poster; PDF) (code and scripts)
-
Silvan Sievers.
Implementation of the UCT Algorithm for Doppelkopf.
Master's thesis, Albert-Ludwigs-Universität Freiburg, 2012.
(Show abstract) (PDF)