Parallel genetic algorithm to solve the satisfiability problem.
Nicole Nemer-PreeceRalph W. WilkersonPublished in: SAC (1998)
Keyphrases
- satisfiability problem
- genetic algorithm to solve
- np complete
- temporal logic
- search algorithm
- phase transition
- genetic algorithm
- sat problem
- pspace complete
- stochastic local search algorithms
- max sat
- sat instances
- stochastic local search
- np hard
- solving hard
- mazurkiewicz traces
- model checking
- neural network
- finite domain
- computational complexity