Predicting Solvability and Difficulty of Sokoban Puzzles | IEEE Conference Publication | IEEE Xplore