From Sequential to Parallel Local Search for SAT.
Alejandro ArbelaezPhilippe CodognetPublished in: EvoCOP (2013)
Keyphrases
- satisfiability testing
- search algorithm
- stochastic local search
- parallel version
- propositional satisfiability
- propositional logic
- satisfiability problem
- parallel algorithm
- search space
- search procedures
- sat problem
- parallel programming
- phase transition
- search strategies
- genetic algorithm
- sat solving
- random sat instances
- massively parallel
- sat solvers
- parallel processing
- computer architecture
- randomly generated
- combinatorial optimization
- systematic search
- simulated annealing
- multi objective