Hernandez, C. and 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), pp. 198–199. doi: 10.1609/socs.v5i1.18338.