Bulitko, Vadim, Shuwei Wang, Justin Stevens, and Levi H. S. Lelis. 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.