Silvan Sievers – Publications

(Show all abstracts) (Hide all abstracts)

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)