1. Fogel, L., Owens, A.J., Walsh, M.J.: Artificial intelligence through simulated evolution (1966)
2. Fortin, F.A., De Rainville, F.M., Gardner, M.A., Parizeau, M., Gagné, C.: DEAP: evolutionary algorithms made easy. J. Mach. Learn. Res. 13, 2171–2175 (2012)
3. Lecture Notes in Computer Science;J Harrison,1996
4. Huang, D., Dhariwal, P., Song, D., Sutskever, I.: GamePad: a learning environment for theorem proving. In: 7th International Conference on Learning Representations, ICLR 2019, New Orleans, LA, USA, 6–9 May 2019. OpenReview.net (2019). https://openreview.net/forum?id=r1xwKoR9Y7
5. Lecture Notes in Computer Science;S Itzhaky,2021