Gao, C., Chen, J., Mo, T., Sajed, T., Jui, S., Qin, M., … Lu, W. (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