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