Efficient stubborn sets: generalized algorithms and selection strategies
Sokoban: enhancing general single-agent search methods using domain knowledge