Solving Sokoban Optimally with Domain-Dependent Move Pruning. - Renato R. Leme; André Grahl Pereira; Marcus Ritt; Luciana S. Buriol (BRACIS, 2015)