Gao, C.; Chen, J.; Mo, T.; Sajed, T.; Jui, S.; Qin, M.; Gong, L.; Lu, W. A Memory-Bounded Best-First Beam Search and Its Application to Scheduling Halide Programs. SOCS 2022, 15, 74-82.