BULITKO, Vadim; WANG, Shuwei; STEVENS, Justin; LELIS, Levi 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: 23 jul. 2026.