Gao, Chao, et al. “A Memory-Bounded Best-First Beam Search and Its Application to Scheduling Halide Programs”. Proceedings of the International Symposium on Combinatorial Search, vol. 15, no. 1, July 2022, pp. 74-82, doi:10.1609/socs.v15i1.21754.