Massively parallel evolution of SAT heuristics.
Alex S. FukunagaPublished in: IEEE Congress on Evolutionary Computation (2009)
Keyphrases
- massively parallel
- stochastic local search algorithms
- search algorithm
- parallel computing
- fine grained
- propositional satisfiability
- high performance computing
- stochastic local search
- satisfiability problem
- search strategies
- parallel machines
- parallel architectures
- variable ordering
- sat encodings
- parallel computers
- search procedures
- parallel programming
- sat instances
- processing elements