Massively Parallel Local Search for SAT.
Alejandro ArbelaezPhilippe CodognetPublished in: ICTAI (2012)
Keyphrases
- massively parallel
- stochastic local search
- search algorithm
- propositional satisfiability
- satisfiability testing
- satisfiability problem
- sat solvers
- search procedures
- fine grained
- random sat instances
- search space
- sat solving
- propositional logic
- high performance computing
- sat problem
- parallel computing
- search strategies
- max sat
- genetic algorithm
- tabu search
- boolean satisfiability
- clause learning
- constraint programming
- parallel computers
- simulated annealing
- parallel architectures
- combinatorial optimization
- mesh connected
- parallel machines
- parallel programming
- phase transition
- evolutionary algorithm
- optimal solution
- search problems
- pairwise