Proceedings of SAT Competition 2017

Solver and Benchmark Descriptions

Tomáš Balyo, Marijn J.H. Heule, Matti Järvisalo

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

Originalspråkengelska
UtgivningsortHelsinki
FörlagDepartment of Computer Science, University of Helsinki
VolymB-2017-1
Antal sidor61
StatusPublicerad - 2017
MoE-publikationstypC2 Redigerade böcker

Publikationsserier

NamnSeries of Publications B
FörlagDepartment of Computer Science, University of Helsinki
VolymB-2017-1
ISSN (tryckt)1458-4786

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Citera det här

Balyo, T., Heule, M. J. H., & Järvisalo, M. (2017). Proceedings of SAT Competition 2017: Solver and Benchmark Descriptions. (Series of Publications B; Vol. B-2017-1). Helsinki: Department of Computer Science, University of Helsinki.
Balyo, Tomáš ; Heule, Marijn J.H. ; Järvisalo, Matti. / Proceedings of SAT Competition 2017 : Solver and Benchmark Descriptions. Helsinki : Department of Computer Science, University of Helsinki, 2017. 61 s. (Series of Publications B).
@book{513c169aa2594baaa57939623626f966,
title = "Proceedings of SAT Competition 2017: Solver and Benchmark Descriptions",
keywords = "113 Computer and information sciences",
author = "Tom{\'a}š Balyo and Heule, {Marijn J.H.} and Matti J{\"a}rvisalo",
year = "2017",
language = "English",
volume = "B-2017-1",
series = "Series of Publications B",
publisher = "Department of Computer Science, University of Helsinki",
address = "Finland",

}

Balyo, T, Heule, MJH & Järvisalo, M 2017, Proceedings of SAT Competition 2017: Solver and Benchmark Descriptions. Series of Publications B, vol. B-2017-1, vol. B-2017-1, Department of Computer Science, University of Helsinki, Helsinki.

Proceedings of SAT Competition 2017 : Solver and Benchmark Descriptions. / Balyo, Tomáš; Heule, Marijn J.H.; Järvisalo, Matti.

Helsinki : Department of Computer Science, University of Helsinki, 2017. 61 s. (Series of Publications B; Vol. B-2017-1).

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

TY - BOOK

T1 - Proceedings of SAT Competition 2017

T2 - Solver and Benchmark Descriptions

AU - Balyo, Tomáš

AU - Heule, Marijn J.H.

AU - Järvisalo, Matti

PY - 2017

Y1 - 2017

KW - 113 Computer and information sciences

M3 - Anthology or special issue

VL - B-2017-1

T3 - Series of Publications B

BT - Proceedings of SAT Competition 2017

PB - Department of Computer Science, University of Helsinki

CY - Helsinki

ER -

Balyo T, Heule MJH, Järvisalo M. Proceedings of SAT Competition 2017: Solver and Benchmark Descriptions. Helsinki: Department of Computer Science, University of Helsinki, 2017. 61 s. (Series of Publications B).