Bulitko, V. (2022) “Portability and Explainability of Synthesized Formula-based Heuristics”, Proceedings of the International Symposium on Combinatorial Search, 15(1), pp. 29–37. doi: 10.1609/socs.v15i1.21749.