Jörg Hoffmann Hector Geffner Branching Matters: Alternative Branching in Graphplan. 22-31 2003 conf/aips/2003 ICAPS db/conf/aips/icaps2003.html#HoffmannG03