Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions

Tomáš Balyo; Nils Froleyks; Marijn J.H. Heule; Markus Iser; Matti Järvisalo; Martin Suda

Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions

Tomáš Balyo (Editor), Nils Froleyks (Editor), Marijn J.H. Heule (Editor), Markus Iser (Editor), Matti Järvisalo (Editor), Martin Suda (Editor)

Research output: Book/Report › Anthology or special issue › Scientific

Original language	English

Place of Publication	Helsinki
Publisher	Department of Computer Science, University of Helsinki
Number of pages	104
Publication status	Published - 2020
MoE publication type	D6 Edited professional book

Publication series

Name	Department of Computer Science Report Series B
Publisher	Department of Computer Science, University of Helsinki
Volume	B-2020-1

Fields of Science

113 Computer and information sciences

Access to Document

sc2020-proceedingsFinal published version, 2.18 MB

http://hdl.handle.net/10138/318450Licence: Unspecified

Cite this

@book{ac62af802213442b945c7501eca6fe44,

title = "Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions",

keywords = "113 Computer and information sciences",

editor = "Tom{\'a}{\v s} Balyo and Nils Froleyks and Heule, \{Marijn J.H.\} and Markus Iser and Matti J{\"a}rvisalo and Martin Suda",

year = "2020",

language = "English",

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

publisher = "Department of Computer Science, University of Helsinki",

address = "Finland",

}

Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions. / Balyo, Tomáš (Editor); Froleyks, Nils (Editor); Heule, Marijn J.H. (Editor) et al.
Helsinki: Department of Computer Science, University of Helsinki, 2020. 104 p. (Department of Computer Science Report Series B; Vol. B-2020-1).

Research output: Book/Report › Anthology or special issue › Scientific

TY - BOOK

T1 - Proceedings of SAT Competition 2020

T2 - Solver and Benchmark Descriptions

A2 - Balyo, Tomáš

A2 - Froleyks, Nils

A2 - Heule, Marijn J.H.

A2 - Iser, Markus

A2 - Järvisalo, Matti

A2 - Suda, Martin

PY - 2020

Y1 - 2020

KW - 113 Computer and information sciences

M3 - Anthology or special issue

T3 - Department of Computer Science Report Series B

BT - Proceedings of SAT Competition 2020

PB - Department of Computer Science, University of Helsinki

CY - Helsinki

ER -