Study of Fine-grained Nested Parallelism in CDCL SAT Solvers.
James Alexander EdwardsUzi VishkinPublished in: ACM Trans. Parallel Comput. (2021)
Keyphrases
- relevant documents
- sat solvers
- fine grained
- relevance feedback
- coarse grained
- orders of magnitude
- sat solving
- constraint satisfaction
- search tree
- propositional satisfiability
- max sat
- search space
- search strategies
- sat instances
- sat problem
- access control
- boolean satisfiability
- sat encodings
- clause learning
- dynamic programming