publications

publications by categories in reversed chronological order.

2025

  1. PDBs Go Numeric: Pattern-Database Heuristics for Simple Numeric Planning
    Daniel Gnad, Lee-or Alon, Eyal Weiss, and 1 more author
    In Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2025), 2025
  2. Counting and Reasoning with Plans
    David Speck, Markus Hecher, Daniel Gnad, and 2 more authors
    In Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2025), 2025

2024

  1. Cost Partitioning for Multiple Sequence Alignment
    Mika Skjelnes, Daniel Gnad, and Jendrik Seipp
    In Proceedings of the 27th European Conference on Artificial Intelligence (ECAI 2024), 2024
  2. Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning
    David Speck and Daniel Gnad
    In Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling (ICAPS 2024), 2024
  3. Appendix, Code, and Experimental Data of the ICAPS 2024 paper “Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning”
    David Speck and Daniel Gnad
    2024

2023

  1. Ragnarok
    Dominik Drexler, Daniel Gnad, Paul Höft, and 3 more authors
    In Tenth International Planning Competition (IPC-10): Planner Abstracts, 2023
  2. DiSCO: Decoupled Search + COnjunctions
    Maximilian Fickert and Daniel Gnad
    In Tenth International Planning Competition (IPC-10): Planner Abstracts, 2023
  3. Planning over Integers: Compilations and Undecidability
    Daniel Gnad, Malte Helmert, Peter Jonsson, and 1 more author
    In Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023
  4. Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases
    Daniel Gnad, Silvan Sievers, and Torralba
    In Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023
  5. DecAbStar
    Daniel Gnad, Silvan Sievers, and Torralba
    In Tenth International Planning Competition (IPC-10): Planner Abstracts, 2023
  6. DecStar-2023
    Daniel Gnad, Torralba, and Alexander Shleyfman
    In Tenth International Planning Competition (IPC-10): Planner Abstracts, 2023
  7. Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases – Supplementary Material
    Daniel Gnad, Silvan Sievers, and Torralba
    2023
  8. Structurally Restricted Fragments of Numeric Planning – A Complexity Analysis
    Alexander Shleyfman, Daniel Gnad, and Peter Jonsson
    In Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), 2023
  9. Finding Matrix Multiplication Algorithms with Classical Planning
    David Speck, Paul Höft, Daniel Gnad, and 1 more author
    In Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023
  10. Finding Matrix Multiplication Algorithms with Classical Planning — Extended Abstract
    David Speck, Paul Höft, Daniel Gnad, and 1 more author
    In The 35th Annual Workshop of the Swedish Artificial Intelligence Society (SAIS), 2023
  11. Code and data for the ICAPS 2023 paper “Finding Matrix Multiplication Algorithms with Classical Planning”
    David Speck, Paul Höft, Daniel Gnad, and 1 more author
    2023
  12. GOFAI
    Torralba and Daniel Gnad
    In Learning Track of the International Planning Competition 2023: Planner Abstracts, 2023

2022

  1. Beyond Stars - Generalized Topologies for Decoupled Search
    Daniel Gnad, Torralba, and Daniel Fišer
    In Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022), 2022
  2. Additive Pattern Databases for Decoupled Search
    Silvan Sievers, Daniel Gnad, and Torralba
    In Proceedings of the 15th Annual Symposium on Combinatorial Search (SoCS 2022), 2022
  3. Additive Pattern Databases for Decoupled Search: Additional Material
    Silvan Sievers, Daniel Gnad, and Torralba
    2022
  4. Code, benchmarks and experiment data for the SoCS 2022 paper “Additive Pattern Databases for Decoupled Search”
    Silvan Sievers, Daniel Gnad, and Torralba
    2022

2021

  1. Custom-Design of FDR Encodings: The Case of Red-Black Planning
    Daniel Fišer, Daniel Gnad, Michael Katz, and 1 more author
    In Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021), 2021
  2. Revisiting Dominance Pruning in Decoupled Search
    Daniel Gnad
    In Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), 2021
  3. Model Checking omega-Regular Properties with Decoupled Search
    Daniel Gnad, Jan Eisenhut, Alberto Lluch Lafuente, and 1 more author
    In Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, 2021
  4. Star-Topology Decoupled State-Space Search in AI Planning and Model Checking
    Daniel Gnad
    Saarland University, 2021

2020

  1. Planen
    Jörg Hoffmann, Malte Helmert, Daniel Gnad, and 1 more author
    In Handbuch der Künstlichen Intelligenz, 2020

2019

  1. Learning How to Ground a Plan – Partial Grounding in Classical Planning
    Daniel Gnad, Torralba, Martín Ariel Domínguez, and 2 more authors
    In Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI 2019), 2019
  2. Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search
    Daniel Gnad, Jörg Hoffmann, and Martin Wehrle
    Journal of Artificial Intelligence Research, 2019
  3. IPALAMA - Planner Abstract
    Daniel Gnad, Torralba, Martin Domínguez, and 2 more authors
    In Sparkle Planning Challenge: Planner Abstracts, 2019
  4. On the Relation between Star-Topology Decoupling and Petri Net Unfolding
    Daniel Gnad and Jörg Hoffmann
    In Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019
  5. Advanced Factoring Strategies for Decoupled Search Using Linear Programming
    Frederik Schmitt, Daniel Gnad, and Jörg Hoffmann
    In Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019

2018

  1. Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search
    Maximilian Fickert, Daniel Gnad, and Jörg Hoffmann
    In Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), 2018
  2. SaarPlan: Combining Saarland’s Greatest Planning Techniques
    Maximilian Fickert, Daniel Gnad, Patrick Speicher, and 1 more author
    In Ninth International Planning Competition (IPC-9): Planner Abstracts, 2018
  3. DecStar – STAR-topology DECoupled Search at its best
    Daniel Gnad, Alexander Shleyfman, and Jörg Hoffmann
    In Ninth International Planning Competition (IPC-9): Planner Abstracts, 2018
  4. Star-Topology Decoupling in SPIN
    Daniel Gnad, Patrick Dubbert, Alberto Lluch-Lafuente, and 1 more author
    In Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, 2018
  5. Star-Topology Decoupled State Space Search
    Daniel Gnad and Jörg Hoffmann
    Artificial Intelligence, 2018

2017

  1. Symmetry Breaking in Star-Topology Decoupled Search
    Daniel Gnad, Torralba, Alexander Shleyfman, and 1 more author
    In Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling (ICAPS 2017), 2017
  2. Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search
    Daniel Gnad, Valerie Poser, and Jörg Hoffmann
    In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017
  3. Symbolic Leaf Representation in Decoupled Search
    Daniel Gnad, Torralba, and Jörg Hoffmann
    In Proceedings of the 10th Annual Symposium on Combinatorial Search (SoCS 2017), 2017
  4. Beyond Red-Black Planning: Limited-Memory State Variables
    Patrick Speicher, Marcel Steinmetz, Daniel Gnad, and 2 more authors
    In Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling (ICAPS 2017), 2017

2016

  1. Decoupled Strong Stubborn Sets
    Daniel Gnad, Martin Wehrle, and Jörg Hoffmann
    In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016
  2. Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications
    Daniel Gnad, Marcel Steinmetz, Mathäus Jany, and 3 more authors
    In Proceedings of the Ninth Annual Symposium on Combinatorial Search (SoCS 2016), 2016
  3. Decoupled Strong Stubborn Sets (Technical Report)
    Daniel Gnad, Martin Wehrle, and Jörg Hoffmann
    2016
    Available at \urlhttp://fai.cs.uni-saarland.de/hoffmann/papers/ijcai16a-tr.pdf
  4. Decoupled Search for Proving Unsolvability
    Daniel Gnad, Torralba, Jörg Hoffmann, and 1 more author
    In Unsolvability International Planning Competition: Planner Abstracts, 2016
  5. Django: Unchaining the Power of Red-Black Planning
    Daniel Gnad, Marcel Steinmetz, and Jörg Hoffmann
    In Unsolvability International Planning Competition: Planner Abstracts, 2016
  6. On State-Dominance Criteria in Fork-Decoupled Search
    Torralba, Daniel Gnad, Patrick Dubbert, and 1 more author
    In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

2015

  1. From Fork Decoupling to Star-Topology Decoupling
    Daniel Gnad, Jörg Hoffmann, and Carmel Domshlak
    In Proceedings of the Eighth Annual Symposium on Combinatorial Search (SoCS 2015), 2015
  2. Beating LM-Cut with hmax (Sometimes): Fork-Decoupled State Space Search
    Daniel Gnad and Jörg Hoffmann
    In Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling (ICAPS 2015), 2015
  3. Red-Black Planning: A New Tractability Analysis and Heuristic Function
    Daniel Gnad and Jörg Hoffmann
    In Proceedings of the Eighth Annual Symposium on Combinatorial Search (SoCS 2015), 2015