An Empirical Comparison of Two Evolutionary Methods for Satisfiability Problems.
Jin-Kao HaoRaphaël DornePublished in: International Conference on Evolutionary Computation (1994)
Keyphrases
- satisfiability problem
- evolutionary methods
- evolutionary algorithm
- hybrid method
- np complete
- search algorithm
- phase transition
- genetic algorithm
- evolutionary computation
- temporal logic
- differential evolution
- sat problem
- optimization methods
- stochastic local search
- davis putnam
- optimization problems
- max sat
- artificial intelligence
- mazurkiewicz traces
- graph coloring problems
- optimization method
- constraint programming
- neural network
- model checking
- cellular automata
- special case
- reinforcement learning
- machine learning