GPU-acceleration of optimal permutation-puzzle solving. - Hiroki Hayakawa; Naoaki Ishida; Hirokazu Murao (PASCO, 2015)