Enhancing State-of-the-Art Parallel SAT Solvers Through Optimized Sharing Policies.
Vincent ValladeJulien SopenaSouheib BaarirPublished in: POS@SAT (2023)
Keyphrases
- sat solvers
- orders of magnitude
- max sat
- constraint satisfaction
- sat problem
- sat solving
- search strategies
- propositional satisfiability
- search space
- boolean satisfiability
- sat instances
- search tree
- weighted max sat
- optimal policy
- sat encodings
- clause learning
- information retrieval
- constraint satisfaction problems
- clause learning sat solvers