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

From International Center for Computational Logic

Toggle side column

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
CLAS – A Parallel SAT Solver that Combines CDCL, Look-Ahead and SLS Search Strategies


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