Matricon, Théo, Nathanaël Fijalkow, and Guillaume Lagarde. 2025. “Eco Search: A No-Delay Best-First Search Algorithm for Program Synthesis”. Proceedings of the AAAI Conference on Artificial Intelligence 39 (18):19432-39. https://doi.org/10.1609/aaai.v39i18.34139.