Proceedings of SAT Race 2019: Solver and Benchmark Descriptions

Marijn J.H. Heule (Editor), Matti Järvisalo (Editor), Martin Suda (Editor)

Research output: Book/ReportAnthology or special issueScientific

Original languageEnglish
Place of PublicationHelsinki
PublisherDepartment of Computer Science, University of Helsinki
VolumeB-2019-1
Number of pages61
Publication statusPublished - 2019
MoE publication typeD6 Edited professional book

Publication series

NameDepartment of Computer Science Report Series B
PublisherDepartment of Computer Science, University of Helsinki
VolumeB-2019-1

Fields of Science

  • 113 Computer and information sciences

Cite this

Heule, M. J. H., Järvisalo, M., & Suda, M. (Eds.) (2019). Proceedings of SAT Race 2019: Solver and Benchmark Descriptions. (Department of Computer Science Report Series B; Vol. B-2019-1). Helsinki: Department of Computer Science, University of Helsinki.
Heule, Marijn J.H. (Editor) ; Järvisalo, Matti (Editor) ; Suda, Martin (Editor). / Proceedings of SAT Race 2019 : Solver and Benchmark Descriptions. Helsinki : Department of Computer Science, University of Helsinki, 2019. 61 p. (Department of Computer Science Report Series B).
@book{22107eac433441b4b888c9f89ee0a1fd,
title = "Proceedings of SAT Race 2019: Solver and Benchmark Descriptions",
keywords = "113 Computer and information sciences",
editor = "Heule, {Marijn J.H.} and Matti J{\"a}rvisalo and Martin Suda",
year = "2019",
language = "English",
volume = "B-2019-1",
series = "Department of Computer Science Report Series B",
publisher = "Department of Computer Science, University of Helsinki",
address = "Finland",

}

Heule, MJH, Järvisalo, M & Suda, M (eds) 2019, Proceedings of SAT Race 2019: Solver and Benchmark Descriptions. Department of Computer Science Report Series B, vol. B-2019-1, vol. B-2019-1, Department of Computer Science, University of Helsinki, Helsinki.

Proceedings of SAT Race 2019 : Solver and Benchmark Descriptions. / Heule, Marijn J.H. (Editor); Järvisalo, Matti (Editor); Suda, Martin (Editor).

Helsinki : Department of Computer Science, University of Helsinki, 2019. 61 p. (Department of Computer Science Report Series B; Vol. B-2019-1).

Research output: Book/ReportAnthology or special issueScientific

TY - BOOK

T1 - Proceedings of SAT Race 2019

T2 - Solver and Benchmark Descriptions

A2 - Heule, Marijn J.H.

A2 - Järvisalo, Matti

A2 - Suda, Martin

PY - 2019

Y1 - 2019

KW - 113 Computer and information sciences

M3 - Anthology or special issue

VL - B-2019-1

T3 - Department of Computer Science Report Series B

BT - Proceedings of SAT Race 2019

PB - Department of Computer Science, University of Helsinki

CY - Helsinki

ER -

Heule MJH, (ed.), Järvisalo M, (ed.), Suda M, (ed.). Proceedings of SAT Race 2019: Solver and Benchmark Descriptions. Helsinki: Department of Computer Science, University of Helsinki, 2019. 61 p. (Department of Computer Science Report Series B).