Proceedings of SAT Race 2019: Solver and Benchmark Descriptions

Marijn J.H. Heule (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
Volume	B-2019-1
Number of pages	61
Publication status	Published - 2019
MoE publication type	D6 Edited professional book

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

Fields of Science

@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",

}

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 -