CLAS – A Parallel SAT Solver that Combines CDCL, Look-Ahead and SLS Search Strategies
Aus International Center for Computational Logic
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 CLAS – A Parallel SAT Solver that Combines CDCL, Look-Ahead and SLS Search Strategies](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
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
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
- 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}
}