Sokoban: enhancing general single-agent search methods using domain knowledge
finding optimal solutions to rubik ' s cube using pattern databases .