Malte Helmert Patrik Haslum Jörg Hoffmann Explicit-State Abstraction: A New Method for Generating Heuristic Functions. 1547-1550 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#HelmertHH08