Proceedings of SAT Competition 2018

Solver and Benchmark Descriptions

Marijn J. H. Heule (Redaktör), Matti Juhani Järvisalo (Redaktör), Martin Suda (Redaktör)

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskaplig

Originalspråkengelska
UtgivningsortHelsinki
FörlagDepartment of Computer Science, University of Helsinki
VolymB-2018-1
Antal sidor77
StatusPublicerad - 2018
MoE-publikationstypD6 Redigerade professionella böcker

Publikationsserier

NamnDepartment of Computer Science Series of Publications B
FörlagUniversity of Helsinki
VolymB-2018-1

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Citera det här

Heule, M. J. H., Järvisalo, M. J., & Suda, M. (Red.) (2018). Proceedings of SAT Competition 2018: Solver and Benchmark Descriptions. (Department of Computer Science Series of Publications B; Vol. B-2018-1). Helsinki: Department of Computer Science, University of Helsinki.
Heule, Marijn J. H. (Redaktör) ; Järvisalo, Matti Juhani (Redaktör) ; Suda, Martin (Redaktör). / Proceedings of SAT Competition 2018 : Solver and Benchmark Descriptions. Helsinki : Department of Computer Science, University of Helsinki, 2018. 77 s. (Department of Computer Science Series of Publications B).
@book{1793168c5c3a43a79a5483049de59a75,
title = "Proceedings of SAT Competition 2018: Solver and Benchmark Descriptions",
keywords = "113 Computer and information sciences",
editor = "Heule, {Marijn J. H.} and J{\"a}rvisalo, {Matti Juhani} and Martin Suda",
year = "2018",
language = "English",
volume = "B-2018-1",
series = "Department of Computer Science Series of Publications B",
publisher = "Department of Computer Science, University of Helsinki",
address = "Finland",

}

Heule, MJH, Järvisalo, MJ & Suda, M (red) 2018, Proceedings of SAT Competition 2018: Solver and Benchmark Descriptions. Department of Computer Science Series of Publications B, vol. B-2018-1, vol. B-2018-1, Department of Computer Science, University of Helsinki, Helsinki.

Proceedings of SAT Competition 2018 : Solver and Benchmark Descriptions. / Heule, Marijn J. H. (Redaktör); Järvisalo, Matti Juhani (Redaktör); Suda, Martin (Redaktör).

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

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskaplig

TY - BOOK

T1 - Proceedings of SAT Competition 2018

T2 - Solver and Benchmark Descriptions

A2 - Heule, Marijn J. H.

A2 - Järvisalo, Matti Juhani

A2 - Suda, Martin

PY - 2018

Y1 - 2018

KW - 113 Computer and information sciences

M3 - Anthology or special issue

VL - B-2018-1

T3 - Department of Computer Science Series of Publications B

BT - Proceedings of SAT Competition 2018

PB - Department of Computer Science, University of Helsinki

CY - Helsinki

ER -

Heule MJH, (ed.), Järvisalo MJ, (ed.), Suda M, (ed.). Proceedings of SAT Competition 2018: Solver and Benchmark Descriptions. Helsinki: Department of Computer Science, University of Helsinki, 2018. 77 s. (Department of Computer Science Series of Publications B).