Improving the Performance of Evolutionary Algorithms for the Satisfiability Problem by Refining Functions.
Jens GottliebNico VossPublished in: PPSN (1998)
Keyphrases
- satisfiability problem
- evolutionary algorithm
- temporal logic
- np complete
- differential evolution
- search algorithm
- optimization problems
- phase transition
- sat problem
- multi objective
- pspace complete
- stochastic local search algorithms
- differential evolution algorithm
- decision procedures
- sat instances
- simulated annealing
- genetic algorithm
- stochastic local search