Hernandez, Carlos, Roberto Asin, and Jorge Baier. 2021. “Time-Bounded Best-First Search”. Proceedings of the International Symposium on Combinatorial Search 5 (1):97-104. https://doi.org/10.1609/socs.v5i1.18325.