Gao C, Chen J, Mo T, Sajed T, Jui S, Qin M, et al. A Memory-Bounded Best-First Beam Search and Its Application to Scheduling Halide Programs. SOCS [Internet]. 2022 Jul. 17 [cited 2026 May 12];15(1):74-82. Available from: https://ojs.aaai.org/index.php/SOCS/article/view/21754