Cartesian genetic programming as local optimizer of logic networks.
Lukás SekaninaOndrej PtakZdenek VasícekPublished in: IEEE Congress on Evolutionary Computation (2014)
Keyphrases
- genetic programming
- evolutionary computation
- fitness function
- symbolic regression
- gene expression programming
- grammar guided genetic programming
- evolutionary algorithm
- multi valued
- network structure
- data sets
- network design
- evolutionary approaches
- automated reasoning
- complex networks
- genetic algorithm
- network analysis
- logical framework
- classical logic
- hyper heuristics
- proof theory
- logic programming
- social networks
- regression problems
- query optimization
- network size
- optimization algorithm
- predicate logic