BasicManager replaces equal cost non-optimal solution by optimal solution.
Implement BeamSearchSolver.
Add name to DummySearchNode for easier debugging.
Implement SMAStarSolver (Simple Memory-bounded A*).