Daniel Gnad

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

Cost Partitioning for Multiple Sequence Alignment.

[BibT_eX]

[DOI]

Mika Skjelnes

Jendrik Seipp

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023

Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases.

[BibT_eX]

[DOI]

Silvan Sievers

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Planning over Integers: Compilations and Undecidability.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Finding Matrix Multiplication Algorithms with Classical Planning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Structurally Restricted Fragments of Numeric Planning - a Complexity Analysis.

[BibT_eX]

[DOI]

Alexander Shleyfman

Peter Jonsson

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Additive Pattern Databases for Decoupled Search.

[BibT_eX]

[DOI]

Silvan Sievers

Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022

Beyond Stars - Generalized Topologies for Decoupled Search.

[BibT_eX]

[DOI]

Daniel Fiser

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021

Stern-Topologie Entkoppelte Zustandsraumsuche.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 2021., 2021

Star-topology decoupled state-space search in AI planning and model checking.

[BibT_eX]

[DOI]

PhD thesis, 2021

Custom-Design of FDR Encodings: The Case of Red-Black Planning.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Model Checking ømega-Regular Properties with Decoupled Search.

[BibT_eX]

[DOI]

Jan Eisenhut

Alberto Lluch-Lafuente

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Revisiting Dominance Pruning in Decoupled Search.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Planen.

[BibT_eX]

[DOI]

Proceedings of the Handbuch der Künstlichen Intelligenz, 6. Auflage, 2020

2019

Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search.

[BibT_eX]

[DOI]

Martin Wehrle

J. Artif. Intell. Res., 2019

Advanced Factoring Strategies for Decoupled Search Using Linear Programming.

[BibT_eX]

[DOI]

Frederik Schmitt

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

On the Relation between Star-Topology Decoupling and Petri Net Unfolding.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Learning How to Ground a Plan - Partial Grounding in Classical Planning.

[BibT_eX]

[DOI]

Martín Ariel Domínguez

Carlos Areces

Facundo Bustos

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Star-topology decoupled state space search.

[BibT_eX]

[DOI]

Artif. Intell., 2018

Star-Topology Decoupling in SPIN.

[BibT_eX]

[DOI]

Patrick Dubbert

Alberto Lluch-Lafuente

Proceedings of the Model Checking Software - 25th International Symposium, 2018

Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search.

[BibT_eX]

[DOI]

Maximilian Fickert

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Symbolic Leaf Representation in Decoupled Search.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Symposium on Combinatorial Search, 2017

Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search.

[BibT_eX]

[DOI]

Valerie Poser

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Beyond Red-Black Planning: Limited-Memory State Variables.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

Symmetry Breaking in Star-Topology Decoupled Search.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016

Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications.

[BibT_eX]

[DOI]

Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016

On State-Dominance Criteria in Fork-Decoupled Search.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Decoupled Strong Stubborn Sets.

[BibT_eX]

[DOI]

Martin Wehrle

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

From Fork Decoupling to Star-Topology Decoupling.

[BibT_eX]

[DOI]

Carmel Domshlak

Proceedings of the Eighth Annual Symposium on Combinatorial Search, 2015

Red-Black Planning: A New Tractability Analysis and Heuristic Function.

[BibT_eX]

[DOI]

Proceedings of the Eighth Annual Symposium on Combinatorial Search, 2015

Beating LM-Cut with h<sup>max</sup> (Sometimes): Fork-Decoupled State Space Search.

[BibT_eX]

[DOI]