Poo Hernandez, Sergio, and Vadim Bulitko. 2021. “Speeding Up Heuristic Function Synthesis via Extending the Formula Grammar”. Proceedings of the International Symposium on Combinatorial Search 12 (1):233-35. https://doi.org/10.1609/socs.v12i1.18594.