Silvan Sievers

32 papers A* 21A 3B 5Misc 2Journal 1

Year	Rank	Type	Title / Venue / Authors
2024	A	`conf`	Merge-and-Shrink Heuristics for SSPs with Prune Transformations. ECAI Thorsten Klößner, Álvaro Torralba, Marcel Steinmetz, Silvan Sievers
2024	A*	`conf`	Merging or Computing Saturated Cost Partitionings? A Merge Strategy for the Merge-and-Shrink Framework. ICAPS Silvan Sievers, Thomas Keller, Gabriele Röger
2023	A*	`conf`	A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems. ICAPS Thorsten Klößner, Álvaro Torralba, Marcel Steinmetz, Silvan Sievers
2023	A*	`conf`	Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement. ICAPS Raphael Kreft, Clemens Büchner, Silvan Sievers, Malte Helmert
2023	A*	`conf`	Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases. ICAPS Daniel Gnad, Silvan Sievers, Álvaro Torralba
2023	A	`conf`	PARIS: Planning Algorithms for Reconfiguring Independent Sets. ECAI Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers, David Speck
2022	B	`conf`	Additive Pattern Databases for Decoupled Search. SOCS Silvan Sievers, Daniel Gnad, Álvaro Torralba
2022	A*	`conf`	On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond. ICAPS Malte Helmert, Silvan Sievers, Alexander Rovner, Augusto B. Corrêa
2021	A*	`conf`	Automatic Instance Generation for Classical Planning. ICAPS Álvaro Torralba, Jendrik Seipp, Silvan Sievers
2021	A*	`conf`	Dantzig-Wolfe Decomposition for Cost Partitioning. ICAPS Florian Pommerening, Thomas Keller, Valentina Halasi, Jendrik Seipp, Silvan Sievers, Malte Helmert
2021	J	`jnl`	Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems. J. Artif. Intell. Res. Silvan Sievers, Malte Helmert
2021	A*	`conf`	On Weak Stubborn Sets in Classical Planning. IJCAI Silvan Sievers, Martin Wehrle
2020	B	`conf`	An Atom-Centric Perspective on Stubborn Sets. SOCS Gabriele Röger, Malte Helmert, Jendrik Seipp, Silvan Sievers
2020	A*	`conf`	Cost-Partitioned Merge-and-Shrink Heuristics for Optimal Classical Planning. IJCAI Silvan Sievers, Florian Pommerening, Thomas Keller, Malte Helmert
2019	A*	`conf`	Counterexample-Guided Abstraction Refinement for Pattern Selection in Optimal Classical Planning. ICAPS Alexander Rovner, Silvan Sievers, Malte Helmert
2019	A*	`conf`	Deep Learning for Cost-Optimal Planning: Task-Dependent Planner Selection. AAAI Silvan Sievers, Michael Katz, Shirin Sohrabi, Horst Samulowitz, Patrick Ferber
2019	A*	`conf`	Merge-and-Shrink Task Reformulation for Classical Planning. IJCAI Álvaro Torralba, Silvan Sievers
2019	A*	`conf`	Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks. ICAPS Silvan Sievers, Gabriele Röger, Martin Wehrle, Michael Katz
2018	B	`conf`	Merge-and-Shrink Heuristics for Classical Planning: Efficient Implementation and Partial Abstractions. SOCS Silvan Sievers
2018	A*	`conf`	Symmetry-Based Task Reduction for Relaxed Reachability Analysis. ICAPS Gabriele Röger, Silvan Sievers, Michael Katz
2017	B	`conf`	Strengthening Canonical Pattern Databases with Structural Symmetries. SOCS Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz
2016	A*	`conf`	An Analysis of Merge Strategies for Merge-and-Shrink Heuristics. ICAPS Silvan Sievers, Martin Wehrle, Malte Helmert
2016	A*	`conf`	Graph-Based Factorization of Classical Planning Problems. IJCAI Martin Wehrle, Silvan Sievers, Malte Helmert
2015	Misc	`conf`	A Doppelkopf Player Based on UCT. KI Silvan Sievers, Malte Helmert
2015	Misc	`conf`	An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search. KI Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz
2015	A*	`conf`	Automatic Configuration of Sequential Planning Portfolios. AAAI Jendrik Seipp, Silvan Sievers, Malte Helmert, Frank Hutter
2015	A*	`conf`	Factored Symmetries for Merge-and-Shrink Abstractions. AAAI Silvan Sievers, Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz
2015	A*	`conf`	Heuristics and Symmetries in Classical Planning. AAAI Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle
2015	A*	`conf`	On the Expressive Power of Non-Linear Merge-and-Shrink Representations. ICAPS Malte Helmert, Gabriele Röger, Silvan Sievers
2014	A	`conf`	Bounded Intention Planning Revisited. ECAI Silvan Sievers, Martin Wehrle, Malte Helmert
2014	A*	`conf`	Generalized Label Reduction for Merge-and-Shrink Heuristics. AAAI Silvan Sievers, Martin Wehrle, Malte Helmert
2012	B	`conf`	Efficient Implementation of Pattern Database Heuristics for Classical Planning. SOCS Silvan Sievers, Manuela Ortlieb, Malte Helmert