Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning.

Adrian Balint, Norbert Manthey

Browse the full SAT paper archive.