Genetic Programming + Proof Search = Automatic Improvement. (2018)
Attributed to:
DAASE: Dynamic Adaptive Automated Software Engineering
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/s10817-017-9409-5
PubMed Identifier: 30069068
Publication URI: http://europepmc.org/abstract/MED/30069068
Type: Journal Article/Review
Volume: 60
Parent Publication: Journal of automated reasoning
Issue: 2
ISSN: 0168-7433