Adversarial Evolution: Phase transition in non-uniform hard satisfiability problems.
Md. Murad HossainHussein A. AbbassChris LokanSameer AlamPublished in: IEEE Congress on Evolutionary Computation (2010)
Keyphrases
- phase transition
- satisfiability problem
- random sat
- random instances
- hard problems
- random constraint satisfaction problems
- constraint satisfaction
- np complete
- sat problem
- graph coloring problems
- randomly generated
- combinatorial problems
- stochastic local search
- graph coloring
- cellular automata
- davis putnam
- random graphs
- sat instances
- constraint satisfaction problems
- genetic algorithm