Bulitko V, Wang S, Stevens J, Lelis LHS. Portability and Explainability of Synthesized Formula-based Heuristics. SOCS [Internet]. 2022Jul.17 [cited 2026Apr.30];15(1):29-37. Available from: https://ojs.aaai.org/index.php/SOCS/article/view/21749