GPU parallelism for SAT solving heuristics.
Michele CollevatiAgostino DovierAndrea FormisanoPublished in: CILC (2022)
Keyphrases
- sat solving
- parallel computation
- parallel processing
- parallel computing
- sat solvers
- sat encodings
- boolean satisfiability
- sat problem
- boolean optimization
- search algorithm
- symmetry breaking
- graphics processing units
- shared memory
- clause learning
- heuristic search
- max sat
- search strategies
- metaheuristic
- orders of magnitude
- search space