Abstraction through clustering: complexity reduction in automated planning domains. (1st January 2012)