CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the SAT Competition 2020

Armin Biere; Katalin Fazekas; Mathias Fleury; Maximilian Heisinger

CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the SAT Competition 2020

Armin Biere
, Katalin Fazekas
, Mathias Fleury
, Maximilian Heisinger

Institute of Formal Models and Verification

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

Abstract

This system description describes our new SAT solverKISSAT, how it differs from CADICAL, as well as changes madeto CADICAL. We further present our new distributed cube-and-conquer solver PARACOOBA. Previous parallel SAT solversPLINGELINGand TREENGELINGin essence remain unchanged

Original language	English
Title of host publication	Proc. of SAT Competition 2020 - Solver and Benchmark Descriptions
Editors	Tomas Balyo, Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda
Place of Publication	Helsinki
Publisher	University of Helsinki
Pages	50-53
Number of pages	4
Volume	vol. B-2020-1
Publication status	Published - 2020

Publication series

Name	Department of Computer Science Report Series 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

LOGTECHEDU - Logic Technology for Computer Science Education
Sabitzer, B. (Researcher), Seidl, M. (Researcher) & Biere, A. (PI)
01.03.2018 → 31.08.2020
Project: Funded research › Federal / regional / local authorities
Logical Methods in Computer Science - Periode II (DK W-1255)
Biere, A. (PI) & Seidl, M. (PI)
01.03.2018 → 28.02.2023
Project: Funded research › FWF - Austrian Science Fund

Cite this

Biere, A., Fazekas, K., Fleury, M., & Heisinger, M. (2020). CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the SAT Competition 2020. In Tomas Balyo, Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda (Ed.), Proc. of SAT Competition 2020 - Solver and Benchmark Descriptions (Vol. vol. B-2020-1, pp. 50-53). (Department of Computer Science Report Series B). University of Helsinki.

Biere, Armin ; Fazekas, Katalin ; Fleury, Mathias et al. / CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the SAT Competition 2020. Proc. of SAT Competition 2020 - Solver and Benchmark Descriptions. editor / Tomas Balyo, Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda. Vol. vol. B-2020-1 Helsinki : University of Helsinki, 2020. pp. 50-53 (Department of Computer Science Report Series B).

@inproceedings{cdfa94c389f347609408ab08c505c54a,

title = "CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the SAT Competition 2020",

abstract = "This system description describes our new SAT solverKISSAT, how it differs from CADICAL, as well as changes madeto CADICAL. We further present our new distributed cube-and-conquer solver PARACOOBA. Previous parallel SAT solversPLINGELINGand TREENGELINGin essence remain unchanged",

author = "Armin Biere and Katalin Fazekas and Mathias Fleury and Maximilian Heisinger",

year = "2020",

language = "English",

volume = "vol. B-2020-1",

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

publisher = "University of Helsinki",

pages = "50--53",

editor = "\{Tomas Balyo, Nils Froleyks, Marijn Heule, Markus Iser, Matti J{\"a}rvisalo, Martin Suda\}",

booktitle = "Proc. of SAT Competition 2020 - Solver and Benchmark Descriptions",

}

Biere, A, Fazekas, K, Fleury, M & Heisinger, M 2020, CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the SAT Competition 2020. in Tomas Balyo, Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda (ed.), Proc. of SAT Competition 2020 - Solver and Benchmark Descriptions. vol. vol. B-2020-1, Department of Computer Science Report Series B, University of Helsinki, Helsinki, pp. 50-53.

CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the SAT Competition 2020. / Biere, Armin; Fazekas, Katalin; Fleury, Mathias et al.
Proc. of SAT Competition 2020 - Solver and Benchmark Descriptions. ed. / Tomas Balyo, Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda. Vol. vol. B-2020-1 Helsinki: University of Helsinki, 2020. p. 50-53 (Department of Computer Science Report Series B).

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

TY - GEN

T1 - CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the SAT Competition 2020

AU - Biere, Armin

AU - Fazekas, Katalin

AU - Fleury, Mathias

AU - Heisinger, Maximilian

PY - 2020

Y1 - 2020

N2 - This system description describes our new SAT solverKISSAT, how it differs from CADICAL, as well as changes madeto CADICAL. We further present our new distributed cube-and-conquer solver PARACOOBA. Previous parallel SAT solversPLINGELINGand TREENGELINGin essence remain unchanged

AB - This system description describes our new SAT solverKISSAT, how it differs from CADICAL, as well as changes madeto CADICAL. We further present our new distributed cube-and-conquer solver PARACOOBA. Previous parallel SAT solversPLINGELINGand TREENGELINGin essence remain unchanged

M3 - Conference proceedings

VL - vol. B-2020-1

T3 - Department of Computer Science Report Series B

SP - 50

EP - 53

BT - Proc. of SAT Competition 2020 - Solver and Benchmark Descriptions

A2 - Tomas Balyo, Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda, null

PB - University of Helsinki

CY - Helsinki

ER -

Biere A, Fazekas K, Fleury M, Heisinger M. CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the SAT Competition 2020. In Tomas Balyo, Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda, editor, Proc. of SAT Competition 2020 - Solver and Benchmark Descriptions. Vol. vol. B-2020-1. Helsinki: University of Helsinki. 2020. p. 50-53. (Department of Computer Science Report Series B).

CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the SAT Competition 2020

Abstract

Publication series

Fields of science

Projects

LOGTECHEDU - Logic Technology for Computer Science Education

Logical Methods in Computer Science - Periode II (DK W-1255)

Cite this