Bulitko, V.; Wang, S.; Stevens, J.; Lelis, L. H. S. Portability and Explainability of Synthesized Formula-Based Heuristics. SOCS 2022, 15, 29-37.