Malte Helmert New Complexity Results for Classical Planning Benchmarks. 52-62 2006 conf/aips/2006 ICAPS db/conf/aips/icaps2006.html#Helmert06