Items where Author is "Gnad, Daniel"

Article

Gnad, Daniel and Hoffmann, Jörg and Wehrle, Martin. (2019) Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search. Journal of Artificial Intelligence Research, 65. pp. 343-392.

Book Section

Hoffmann, Jörg and Helmert, Malte and Gnad, Daniel and Pommerening, Florian. (2020) Planen. In: Handbuch der Künstlichen Intelligenz. Berlin, pp. 395-427.

Conference or Workshop Item

Gnad, Daniel and Sievers, Silvan and Torralba, Álvaro. (2023) 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), 33. pp. 138-147.

Sievers, Silvan and Gnad, Daniel and Torralba, Álvaro. (2022) Additive Pattern Databases for Decoupled Search. In: Proceedings of the 15th International Symposium on Combinatorial Search, 15. pp. 180-189.

Gnad, Daniel and Wehrle, Martin and Hoffmann, Jörg. (2016) Decoupled Strong Stubborn Sets. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 4. Palo Alto, California, pp. 3110-3116.

Other

Gnad, Daniel and Torralba, Álvaro and Hoffmann, Jörg and Wehrle, Martin. (2016) Decoupled Search for Proving Unsolvability (planner abstract).