Efficient stubborn sets: generalized algorithms and selection strategies
A Formal BasisfortheHeuristic Determination of Minimum CostPaths