Bulitko, V., Wang, S., Stevens, J., & Lelis, L. H. S. (2022). Portability and Explainability of Synthesized Formula-based Heuristics. Proceedings of the International Symposium on Combinatorial Search, 15(1), 29–37. https://doi.org/10.1609/socs.v15i1.21749