Hernandez, C., & Baier, J. (2021). Toward a Search Strategy for Anytime Search in Linear Space Using Depth-First Branch and Bound. Proceedings of the International Symposium on Combinatorial Search, 5(1), 198–199. https://doi.org/10.1609/socs.v5i1.18338