An Adaptive Evolutionary Algorithm for the Satisfiability Problem.
Claudio RossiElena MarchioriJoost N. KokPublished in: SAC (1) (2000)
Keyphrases
- satisfiability problem
- evolutionary algorithm
- np complete
- search algorithm
- temporal logic
- optimization problems
- differential evolution
- sat problem
- stochastic local search algorithms
- phase transition
- simulated annealing
- stochastic local search
- sat instances
- solving hard
- pspace complete
- genetic algorithm
- function optimization
- max sat
- decision procedures
- model checking
- mazurkiewicz traces
- data model
- search strategy
- finite domain
- conjunctive normal form
- computational complexity