Adaptive Fitness Functions for the Satisfiability Problem.
Jens GottliebNico VossPublished in: PPSN (2000)
Keyphrases
- satisfiability problem
- fitness function
- genetic programming
- evolutionary algorithm
- np complete
- temporal logic
- genetic algorithm ga
- genetic algorithm
- search algorithm
- phase transition
- evolutionary computation
- sat problem
- pspace complete
- initial population
- stochastic local search
- stochastic local search algorithms
- decision procedures
- fitness evaluation
- max sat
- mazurkiewicz traces
- decision problems
- fuzzy logic
- multi objective
- search space
- sat instances
- evolutionary search