Poo Hernandez, Sergio, and Vadim Bulitko. “Speeding Up Heuristic Function Synthesis via Extending the Formula Grammar”. Proceedings of the International Symposium on Combinatorial Search, vol. 12, no. 1, July 2021, pp. 233-5, doi:10.1609/socs.v12i1.18594.