Improving SAT Solver Performance with Structure-based Preferential Bumping
Sima Jamali, David G. M. Mitchell · EPiC series in computing · 2018
We present a method we call structure-based preferential bumping, as a low-cost way to exploit formula structure in VSIDS-based SAT solvers. We show that the Glucose SAT solver, when modified with preferential bumping of certain easily identified structurally important variables, out-performs unmodified Glucose on the industrial formulas from recent SAT solver competitions.