Up a level |
(2014) BDD Ordering Heuristics for Classical Planning.
(2014) "Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability.
(2013) Translating Single-Player GDL into PDDL.
(2013) What's in It for My BDD? On Causal Graphs and Variable Orders in Planning.