Matricon, T.; Fijalkow, N.; Lagarde, G. Eco Search: A No-Delay Best-First Search Algorithm for Program Synthesis. AAAI 2025, 39, 19432-19439.