Tag
This paper formalizes the analysis of tie-breaking strategies in A* search, demonstrating that standard strategies are pairwise incomparable in expansion counts and providing insights into heuristic weighting effects.