Counterexample-Driven Genetic Programming for Symbolic Regression With Formal Constraints.

Iwo Bladek Krzysztof Krawiec

Published in: IEEE Trans. Evol. Comput. (2023)

Keyphrases

genetic programming
symbolic regression
gene expression programming
evolutionary computation
fitness function
grammatical evolution
genetic algorithm
evolutionary algorithm
regression problems
software package
parameter optimization
artificial intelligence
open source
genetic algorithm ga
automatic programming