BULITKO, V.; WANG, S.; STEVENS, J.; LELIS, L. H. S. Portability and Explainability of Synthesized Formula-based Heuristics. Proceedings of the International Symposium on Combinatorial Search, [S. l.], v. 15, n. 1, p. 29-37, 2022. DOI: 10.1609/socs.v15i1.21749. Disponível em: https://ojs.aaai.org/index.php/SOCS/article/view/21749. Acesso em: 5 may. 2026.