Synthesis through unification genetic programming.
Thomas WelschVitaliy KurlinPublished in: GECCO (2020)
Keyphrases
- genetic programming
- fitness function
- evolutionary computation
- evolutionary algorithm
- program synthesis
- symbolic regression
- financial forecasting
- gene expression programming
- regression problems
- evolutionary approaches
- theorem proving
- classification rules
- higher order
- grammar guided genetic programming
- texture synthesis
- genetic algorithm
- computational intelligence
- hyper heuristics
- equational theories
- database
- data structure
- case study
- decision trees
- computer vision
- automated theorem proving
- data mining
- real time