GPU-acceleration of optimal permutation-puzzle solving
finding optimal solutions to rubik ' s cube using pattern databases .