Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs.
Yunuo CenZhiwei ZhangXuanyao FongPublished in: CoRR (2023)
Keyphrases
- massively parallel
- sat solving
- parallel programming
- parallel architectures
- graphics processing units
- sat solvers
- parallel computing
- high performance computing
- boolean satisfiability
- fine grained
- general purpose
- sat problem
- sat encodings
- commodity hardware
- max sat
- search algorithm
- orders of magnitude
- tabu search
- search tree
- blue gene
- symmetry breaking
- genetic algorithm
- parallel processing
- optimal solution
- propositional satisfiability
- parallel machines
- clause learning
- combinatorial optimization
- constraint satisfaction
- search space