Bulitko, Vadim, et al. “Portability and Explainability of Synthesized Formula-Based Heuristics”. Proceedings of the International Symposium on Combinatorial Search, vol. 15, no. 1, July 2022, pp. 29-37, doi:10.1609/socs.v15i1.21749.