Enhancing State-of-the-Art Parallel SAT Solvers Through Optimized Sharing Policies.

Vincent Vallade Julien Sopena Souheib Baarir

Published 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