Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning

PublikationenPublications

• Nach AutorBy Author
  • Norbert MantheyNorbert Manthey
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning

Adrian BalintAdrian Balint,  Norbert MantheyNorbert Manthey

Adrian Balint, Norbert Manthey
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning
Pragmatics of SAT(POS'13), 2013

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@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}
}