Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning

From International Center for Computational Logic

Toggle side column

Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning

Adrian BalintAdrian Balint,  Norbert MantheyNorbert Manthey
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning


Adrian Balint, Norbert Manthey
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning
Pragmatics of SAT(POS'13), 2013
@inproceedings{BM2013,
  author    = {Adrian Balint and Norbert Manthey},
  title     = {Boosting the Performance of {SLS} and {CDCL} Solvers by
               Preprocessor Tuning},
  booktitle = {Pragmatics of {SAT(POS'13)}},
  year      = {2013}
}