TY - GEN
T1 - Splatz, Lingeling, Plingeling, Treengeling, YalSAT Entering the SAT Competition 2016
AU - Biere, Armin
PY - 2016
Y1 - 2016
N2 - This paper serves as solver description for our new
SAT solver Splatz and further documents the versions of our
other solvers submitted to the SAT Competition 2016, which are
Lingeling, its two parallel variants Treengeling and Plingeling,
and our local search solver YalSAT.
AB - This paper serves as solver description for our new
SAT solver Splatz and further documents the versions of our
other solvers submitted to the SAT Competition 2016, which are
Lingeling, its two parallel variants Treengeling and Plingeling,
and our local search solver YalSAT.
M3 - Conference proceedings
VL - B-2016-1
T3 - Department of Computer Science Series of Publications B
SP - 44
EP - 45
BT - Proceedings of SAT Competition 2016 - Solver and Benchmark Descriptions
A2 - Tomas Balyo, Marijn Heule und Matti Järvisalo, null
PB - University of Helsinki
ER -