Solving Sokoban Optimally with Domain-Dependent Move Pruning | IEEE Conference Publication | IEEE Xplore