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

Institut für Formale Modelle und Verifikation

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag

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

Originalsprache	Englisch
Titel	Proc. of SAT Competition 2020 - Solver and Benchmark Descriptions
Herausgeber*innen	Tomas Balyo, Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda
Erscheinungsort	Helsinki
Verlag	University of Helsinki
Seiten	50-53
Seitenumfang	4
Band	vol. B-2020-1
Publikationsstatus	Veröffentlicht - 2020

Publikationsreihe

Name	Department of Computer Science Report Series B

Wissenschaftszweige

102 Informatik
102001 Artificial Intelligence
102011 Formale Sprachen
102022 Softwareentwicklung
102031 Theoretische Informatik
603109 Logik
202006 Computer Hardware

2 Abgeschlossen

LOGTECHEDU - Logic Technology for Computer Science Education
Sabitzer, B. (Forscher*in), Seidl, M. (Forscher*in) & Biere, A. (Projektleiter*in)
01.03.2018 → 31.08.2020
Projekt: Geförderte Forschung › Bund / Land / Gemeinden
Logical Methods in Computer Science - Periode II (DK W-1255)
Biere, A. (Projektleiter*in) & Seidl, M. (Projektleiter*in)
01.03.2018 → 28.02.2023
Projekt: Geförderte Forschung › FWF - Österreichischer Wissenschaftsfonds

Dieses zitieren

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 (Hrsg.), Proc. of SAT Competition 2020 - Solver and Benchmark Descriptions (Band vol. B-2020-1, S. 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. Hrsg. / Tomas Balyo, Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda. Band vol. B-2020-1 Helsinki : University of Helsinki, 2020. S. 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 (Hrsg.), Proc. of SAT Competition 2020 - Solver and Benchmark Descriptions. Bd. vol. B-2020-1, Department of Computer Science Report Series B, University of Helsinki, Helsinki, S. 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. Hrsg. / Tomas Balyo, Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda. Band vol. B-2020-1 Helsinki: University of Helsinki, 2020. S. 50-53 (Department of Computer Science Report Series B).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag

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, Hrsg., Proc. of SAT Competition 2020 - Solver and Benchmark Descriptions. Band vol. B-2020-1. Helsinki: University of Helsinki. 2020. S. 50-53. (Department of Computer Science Report Series B).

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

Abstract

Publikationsreihe

Wissenschaftszweige

Projekte

LOGTECHEDU - Logic Technology for Computer Science Education

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

Dieses zitieren