V. Bulitko, S. Wang, J. Stevens, and L. H. S. Lelis, “Portability and Explainability of Synthesized Formula-based Heuristics”, SOCS, vol. 15, no. 1, pp. 29–37, Jul. 2022.