Gao, Chao, Jingwei Chen, Tong Mo, Tanvir Sajed, Shangling Jui, Min Qin, Laiyuan Gong, and Wei Lu. 2022. “A Memory-Bounded Best-First Beam Search and Its Application to Scheduling Halide Programs”. Proceedings of the International Symposium on Combinatorial Search 15 (1):74-82. https://doi.org/10.1609/socs.v15i1.21754.