Evolutionary Algorithms for the Satisfiability Problem.
Jens GottliebElena MarchioriClaudio RossiPublished in: Evol. Comput. (2002)
Keyphrases
- satisfiability problem
- evolutionary algorithm
- temporal logic
- multi objective
- optimization problems
- search algorithm
- np complete
- differential evolution
- stochastic local search algorithms
- solving hard
- simulated annealing
- sat problem
- phase transition
- differential evolution algorithm
- genetic algorithm
- pspace complete
- stochastic local search
- max sat
- sat instances
- randomly generated
- modal logic
- search strategies
- decision procedures
- reinforcement learning
- neural network