Evolution for automatic assessment of the difficulty of sokoban boards | IEEE Conference Publication | IEEE Xplore