( en | de | ru )

 

Disambiguation of "Gnad, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Decoupled Strong Stubborn Sets.

, , and . IJCAI, page 3110-3116. IJCAI/AAAI Press, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Herbert Gnad

Florian Gnad

Frieder Gnad

Gerhard Gnad

Friedrich Gnad

 

Other publications of authors with the same name

Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases., , and . ICAPS, page 138-147. AAAI Press, (2023)From Fork Decoupling to Star-Topology Decoupling., , and . SOCS, page 53-61. AAAI Press, (2015)Model Checking ømega-Regular Properties with Decoupled Search., , , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 411-434. Springer, (2021)Planning over Integers: Compilations and Undecidability., , , and . ICAPS, page 148-152. AAAI Press, (2023)Additive Pattern Databases for Decoupled Search., , and . SOCS, page 180-189. AAAI Press, (2022)Beating LM-Cut with hmax (Sometimes): Fork-Decoupled State Space Search., and . ICAPS, page 88-96. AAAI Press, (2015)Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search., , and . IJCAI, page 4310-4316. ijcai.org, (2017)Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search., , and . IJCAI, page 4750-4756. ijcai.org, (2018)On State-Dominance Criteria in Fork-Decoupled Search., , , and . IJCAI, page 3265-3271. IJCAI/AAAI Press, (2016)Beyond Stars - Generalized Topologies for Decoupled Search., , and . ICAPS, page 110-118. AAAI Press, (2022)