CLAS – A Parallel SAT Solver that Combines CDCL, Look-Ahead and SLS Search Strategies

Adrian BalintAdrian Balint, Davide LantiDavide Lanti, Ahmed IrfanAhmed Irfan, Norbert MantheyNorbert Manthey

Adrian Balint, Davide Lanti, Ahmed Irfan, Norbert Manthey
CLAS – A Parallel SAT Solver that Combines CDCL, Look-Ahead and SLS Search Strategies
In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., Proceedings of SAT Competition 2014, volume B-2014-2 of Department of Computer Science Series of Publications B, 21, 2014. University of Helsinki, Helsinki, Finland

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{BLIM2014,
  author    = {Adrian Balint and Davide Lanti and Ahmed Irfan and Norbert
               Manthey},
  title     = {CLAS {\textendash} A Parallel {SAT} Solver that Combines {CDCL,}
               Look-Ahead and {SLS} Search Strategies},
  editor    = {Anton Belov and Daniel Diepold and Marijn {J.H.} Heule and Matti
               J{\"{a}}rvisalo},
  booktitle = {Proceedings of {SAT} Competition 2014},
  series    = {Department of Computer Science Series of Publications B},
  volume    = {B-2014-2},
  publisher = {University of Helsinki, Helsinki, Finland},
  year      = {2014},
  pages     = {21}
}