Tuning Parallel SAT Solvers.

Thorsten Ehlers Dirk Nowotka

Published in: POS@SAT (2018)

Keyphrases

sat solvers
sat solving
orders of magnitude
propositional satisfiability
max sat
search tree
constraint satisfaction
boolean satisfiability
search space
sat problem
sat instances
search strategies
weighted max sat
clause learning
answer sets
search engine
sat encodings