Characterizing the dynamics of symmetry breaking in genetic programming.
Jason M. DaidaPublished in: GECCO (2006)
Keyphrases
- genetic programming
- symmetry breaking
- constraint programming
- fitness function
- evolutionary computation
- evolutionary algorithm
- search tree
- quantified boolean formulae
- boolean satisfiability
- constraint satisfaction problems
- global constraints
- sat solvers
- symmetry breaking constraints
- integer linear programming
- neural network
- orders of magnitude
- propositional logic
- multi objective
- constraint satisfaction
- nearest neighbor
- special case
- lower bound
- genetic algorithm