Representations, Fitness Functions and Genetic Operators for the Satisfiability Problem.
Jens GottliebNico VossPublished in: Artificial Evolution (1997)
Keyphrases
- fitness function
- satisfiability problem
- genetic operators
- genetic programming
- evolutionary algorithm
- genetic algorithm
- genetic algorithm ga
- temporal logic
- np complete
- search algorithm
- evolutionary computation
- phase transition
- crossover and mutation
- search space
- stochastic local search algorithms
- crossover operator
- candidate solutions
- sat problem
- particle swarm
- mazurkiewicz traces
- model checking
- multi objective
- initial population
- stochastic local search
- metaheuristic
- multi objective optimization
- sat instances
- optimization problems
- nsga ii
- randomly generated
- computational complexity
- fuzzy logic