Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving.

Nicolas Prevot Mate Soos Kuldeep S. Meel

Published in: SAT (2021)

Keyphrases

sat solving
parallel programming
parallel processing
search space
sat solvers
computational complexity
parallel computing