CaDiCaL, Lingeling, Plingeling, Treengeling, YalSAT Entering the SAT Competition 2017

Armin Biere

CaDiCaL, Lingeling, Plingeling, Treengeling, YalSAT Entering the SAT Competition 2017

Armin Biere

Institute of Formal Models and Verification

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Abstract

This paper serves as a ﬁrst solver description for our new SAT solver CADICAL and documents the versions of our other solvers submitted to the SAT Competition 2017, which are LINGELING, its two parallel variants TREENGELING and PLINGELING, and our local search solver YALSAT.

Original language	English
Title of host publication	Proceedings of SAT Competition 2017 - Solver and Benchmark Descriptions
Editors	Tomas Tomáš, Marijn Heule, Matti Järvisalo
Publisher	University of Helsinki
Pages	14-15
Number of pages	2
Volume	B-2017-1
Publication status	Published - Sept 2017

Publication series

Name	Department of Computer Science Series of Publications B

Fields of science

102 Computer Sciences
102001 Artificial intelligence
102011 Formal languages
102022 Software development
102031 Theoretical computer science
603109 Logic
202006 Computer hardware

JKU Focus areas

Computation in Informatics and Mathematics

Cite this

@inproceedings{be7cbe245b104d2b86e2a522beb79e5f,

title = "CaDiCaL, Lingeling, Plingeling, Treengeling, YalSAT Entering the SAT Competition 2017",

abstract = "This paper serves as a ﬁrst solver description for our new SAT solver CADICAL and documents the versions of our other solvers submitted to the SAT Competition 2017, which are LINGELING, its two parallel variants TREENGELING and PLINGELING, and our local search solver YALSAT.",

author = "Armin Biere",

year = "2017",

month = sep,

language = "English",

volume = "B-2017-1",

series = "Department of Computer Science Series of Publications B",

publisher = "University of Helsinki",

pages = "14--15",

editor = "\{Tomas Tom{\'a}{\v s}, Marijn Heule, Matti J{\"a}rvisalo\}",

booktitle = "Proceedings of SAT Competition 2017 - Solver and Benchmark Descriptions",

}

CaDiCaL, Lingeling, Plingeling, Treengeling, YalSAT Entering the SAT Competition 2017. / Biere, Armin.
Proceedings of SAT Competition 2017 - Solver and Benchmark Descriptions. ed. / Tomas Tomáš, Marijn Heule, Matti Järvisalo. Vol. B-2017-1 University of Helsinki, 2017. p. 14-15 (Department of Computer Science Series of Publications B).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - CaDiCaL, Lingeling, Plingeling, Treengeling, YalSAT Entering the SAT Competition 2017

AU - Biere, Armin

PY - 2017/9

Y1 - 2017/9

N2 - This paper serves as a ﬁrst solver description for our new SAT solver CADICAL and documents the versions of our other solvers submitted to the SAT Competition 2017, which are LINGELING, its two parallel variants TREENGELING and PLINGELING, and our local search solver YALSAT.

AB - This paper serves as a ﬁrst solver description for our new SAT solver CADICAL and documents the versions of our other solvers submitted to the SAT Competition 2017, which are LINGELING, its two parallel variants TREENGELING and PLINGELING, and our local search solver YALSAT.

M3 - Conference proceedings

VL - B-2017-1

T3 - Department of Computer Science Series of Publications B

SP - 14

EP - 15

BT - Proceedings of SAT Competition 2017 - Solver and Benchmark Descriptions

A2 - Tomas Tomáš, Marijn Heule, Matti Järvisalo, null

PB - University of Helsinki

ER -