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 (Toimittaja), Matti Järvisalo (Toimittaja), Martin Suda (Toimittaja)

Tutkimustuotos: Kirja/raportti › Kokoomateos tai erikoisnumero › Tieteellinen

Alkuperäiskieli	englanti

Julkaisupaikka	Helsinki
Kustantaja	Department of Computer Science, University of Helsinki
Vuosikerta	B-2019-1
Sivumäärä	61
Tila	Julkaistu - 2019
OKM-julkaisutyyppi	D6 Toimitettu ammatillinen teos

Julkaisusarja

Nimi	Department of Computer Science Report Series B
Kustantaja	Department of Computer Science, University of Helsinki
Vuosikerta	B-2019-1

Tieteenalat

113 Tietojenkäsittely- ja informaatiotieteet

Pääsy asiakirjaan

sr2019-proceedingsLopullinen julkaistu versio, 1,4 MB

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

Siteeraa tätä

@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. (Toimittaja); Järvisalo, Matti (Toimittaja); Suda, Martin (Toimittaja).

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

Tutkimustuotos: Kirja/raportti › Kokoomateos tai erikoisnumero › Tieteellinen

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

Julkaisusarja

Tieteenalat

Pääsy asiakirjaan

Projektit

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

Siteeraa tätä