C. Gao, “A Memory-Bounded Best-First Beam Search and Its Application to Scheduling Halide Programs”, SOCS, vol. 15, no. 1, pp. 74–82, Jul. 2022.