@inproceedings{d2757b478e324ae4881d1cb6f847d041,
title = "Yet another Local Search Solver and Lingeling and Friends Entering the SAT Competition 2014",
abstract = "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",
author = "Armin Biere",
year = "2014",
language = "English",
volume = "B-2014-2",
series = "Department of Computer Science Series of Publications B, University of Helsinki, 2014",
publisher = "University of Helsinki",
pages = "39--40",
booktitle = "Proceedings of SAT Competition 2014",
}