Chao Gao, Jingwei Chen, Tong Mo, Tanvir Sajed, Shangling Jui, Min Qin, Laiyuan Gong, Wei Lu. A Memory-Bounded Best-First Beam Search and Its Application to Scheduling Halide Programs. In Lukás Chrpa, Alessandro Saetti, editors, Proceedings of the Fifteenth International Symposium on Combinatorial Search, SOCS 2022, Vienna, Austria, July 21-23, 2022. pages 74-82, AAAI Press, 2022. [doi]
Abstract is missing.