GA with Wisdom of Artificial Crowds for Solving Mastermind Satisfiability Problem.
Amine Ben KhalifaRoman V. YampolskiyPublished in: Int. J. Intell. Games Simul. (2011)
Keyphrases
- satisfiability problem
- solving hard
- stochastic local search
- sat instances
- np complete
- search algorithm
- genetic algorithm ga
- weighted max sat
- phase transition
- finite domain
- temporal logic
- genetic algorithm
- systematic search algorithms
- graph coloring problems
- sat problem
- davis putnam logemann loveland
- random sat
- stochastic local search algorithms
- fitness function
- evolutionary algorithm
- max sat
- decision procedures
- ant colony optimization
- constraint propagation
- randomly generated
- constraint satisfaction
- pspace complete
- boolean satisfiability
- metaheuristic
- simulated annealing
- np hard