Poo Hernandez, S., & Bulitko, V. (2021). Speeding Up Heuristic Function Synthesis via Extending the Formula Grammar. Proceedings of the International Symposium on Combinatorial Search, 12(1), 233–235. https://doi.org/10.1609/socs.v12i1.18594