Items where authors include "Kocsis, Zoltan A."
Jump to: Article | Book Section
Number of items: 2.
Article
Kocsis, Zoltan A. and Swan, Jerry (2017) Genetic Programming + Proof Search = Automatic Improvement. Journal of Automated Reasoning. pp. 1-20. ISSN 1573-0670
Book Section
Burles, Nathan John orcid.org/0000-0003-3030-1675, Swan, Jeremiah, Bowles, Edward et al. (3 more authors) (2015) Embedded Dynamic Improvement. In: GECCO Companion '15. ACM , GBR , pp. 831-832.