Author of the publication

Focusing on What Really Matters: Irrelevance Pruning in Merge-and-Shrink.

, and . SOCS, page 122-130. AAAI Press, (2015)

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.

 

Other publications of authors with the same name

Solving µ-Calculus Parity Games by Symbolic Planning., , , and . MoChArt, volume 5348 of Lecture Notes in Computer Science, page 15-33. Springer, (2008)Scaling Search with Pattern Databases., , and . MoChArt, volume 5348 of Lecture Notes in Computer Science, page 49-64. Springer, (2008)What's in It for My BDD? On Causal Graphs and Variable Orders in Planning., and . ICAPS, AAAI, (2013)Translating Single-Player GDL into PDDL., , and . KI, volume 8077 of Lecture Notes in Computer Science, page 188-199. Springer, (2013)Improving Cost-Optimal Domain-Independent Symbolic Planning., and . AAAI, page 992-997. AAAI Press, (2011)"Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability., , and . ECAI, volume 263 of Frontiers in Artificial Intelligence and Applications, page 441-446. IOS Press, (2014)Symbolic A* Search with Pattern Databases and the Merge-and-Shrink Abstraction., , and . ECAI, volume 242 of Frontiers in Artificial Intelligence and Applications, page 306-311. IOS Press, (2012)Focusing on What Really Matters: Irrelevance Pruning in Merge-and-Shrink., and . SOCS, page 122-130. AAAI Press, (2015)Lex-Partitioning: A New Option for BDD Search, , and . GRAPHITE, volume 99 of EPTCS, page 66-82. (2012)SymBA*: A symbolic bidirectional A* planner, , , , and . The International Planning Competition, page 105--108. (2014)