Armin Biere,
"Yet another Local Search Solver and Lingeling and Friends Entering the SAT Competition 2014"
: Proceedings of SAT Competition 2014, Serie Department of Computer Science Series of Publications B, University of Helsinki, 2014, Vol. B-2014-2, University of Helsinki, Seite(n) 39-40, 2014
Original Titel:
Yet another Local Search Solver and Lingeling and Friends Entering the SAT Competition 2014
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of SAT Competition 2014
Original Kurzfassung:
This paper serves as solver description for the SAT
solvers Lingeling and its two parallel variants Treengeling and
Plingeling, as well as for our new local search solver YalSAT
entering the Competition 2014. For Lingeling and its variants we
only list important differences to earlier version of these solvers
as used in the SAT Competition 2013. For further information
we refer to the solver description [1] of the SAT Competition
2013 or source code.
YALSAT
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
University of Helsinki
Serie:
Department of Computer Science Series of Publications B, University of Helsinki, 2014