Self-Organized Evolutionary Process in Sets of Interdependent Variables near the Midpoint of Phase Transition in K-Satisfiability.
Michael KorkinPublished in: ICES (2001)
Keyphrases
- phase transition
- evolutionary process
- satisfiability problem
- evolutionary algorithm
- constraint satisfaction
- sat problem
- randomly generated
- np complete
- random constraint satisfaction problems
- hard problems
- graph coloring
- random sat
- fitness function
- evolutionary computation
- np complete problems
- cellular automata
- genetic algorithm
- learning strategies
- stochastic local search
- random instances
- neural network
- davis putnam
- optimization problems
- mutation operator
- genetic programming
- boolean functions
- orders of magnitude
- belief revision
- differential evolution