Hernandez, C.; Baier, J. Toward a Search Strategy for Anytime Search in Linear Space Using Depth-First Branch and Bound. SOCS 2021, 5, 198-199.