Parallel SAT solvers mostly lose performance when learned clauses are vivified, but a private-minimization scheme yields modest overall gains.
Glucose and Syrup: Nine years in the SAT competitions
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.DS 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Learned Clause Minimization in Parallel SAT Solvers
Parallel SAT solvers mostly lose performance when learned clauses are vivified, but a private-minimization scheme yields modest overall gains.