Proceedings of SAT Race 2019: Solver and Benchmark Descriptions

Marijn J.H. Heule; Matti Järvisalo; Martin Suda

Proceedings of SAT Race 2019: Solver and Benchmark Descriptions

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

Forskningsoutput: Bok/rapport › Antologi eller special utgåva › Vetenskaplig

Originalspråk	engelska

Utgivningsort	Helsinki
Förlag	Department of Computer Science, University of Helsinki
Volym	B-2019-1
Antal sidor	61
Status	Publicerad - 2019
MoE-publikationstyp	D6 Redigerade professionella böcker

Publikationsserier

Namn	Department of Computer Science Report Series B
Förlag	Department of Computer Science, University of Helsinki
Volym	B-2019-1

Vetenskapsgrenar

113 Data- och informationsvetenskap

Åtkomst av dokument

sr2019-proceedingsSlutlig publicerad version, 1,4 MB

Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta
Järvisalo, M.
Unknown funder
01/09/2014 → 31/08/2019
Projekt: Forskningsprojekt

Citera det här

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

}

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

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

Forskningsoutput: Bok/rapport › Antologi eller special utgåva › Vetenskaplig

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 -

Proceedings of SAT Race 2019: Solver and Benchmark Descriptions

Publikationsserier

Vetenskapsgrenar

Åtkomst av dokument

Projekt

Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta

Citera det här