Hernandez, C., Asin, R. and Baier, J. (2021) “Time-Bounded Best-First Search”, Proceedings of the International Symposium on Combinatorial Search, 5(1), pp. 97–104. doi: 10.1609/socs.v5i1.18325.