MaxSAT Evaluation 2018

Solver and Benchmark Descriptions

Fahiem Bacchus (Redaktör), Matti Juhani Järvisalo (Redaktör), Ruben Martins (Redaktör)

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskaplig

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

Publikationsserier

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

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Citera det här

Bacchus, F., Järvisalo, M. J., & Martins, R. (Red.) (2018). MaxSAT Evaluation 2018: Solver and Benchmark Descriptions. (Department of Computer Science Series of Publications B; Vol. B-2018-2). Helsinki: Department of Computer Science, University of Helsinki.
Bacchus, Fahiem (Redaktör) ; Järvisalo, Matti Juhani (Redaktör) ; Martins, Ruben (Redaktör). / MaxSAT Evaluation 2018 : Solver and Benchmark Descriptions. Helsinki : Department of Computer Science, University of Helsinki, 2018. 47 s. (Department of Computer Science Series of Publications B).
@book{72c02639531c406480e44f1ae95de213,
title = "MaxSAT Evaluation 2018: Solver and Benchmark Descriptions",
keywords = "113 Computer and information sciences",
editor = "Fahiem Bacchus and J{\"a}rvisalo, {Matti Juhani} and Ruben Martins",
year = "2018",
language = "English",
volume = "B-2018-2",
series = "Department of Computer Science Series of Publications B",
publisher = "Department of Computer Science, University of Helsinki",
address = "Finland",

}

Bacchus, F, Järvisalo, MJ & Martins, R (red) 2018, MaxSAT Evaluation 2018: Solver and Benchmark Descriptions. Department of Computer Science Series of Publications B, vol. B-2018-2, vol. B-2018-2, Department of Computer Science, University of Helsinki, Helsinki.

MaxSAT Evaluation 2018 : Solver and Benchmark Descriptions. / Bacchus, Fahiem (Redaktör); Järvisalo, Matti Juhani (Redaktör); Martins, Ruben (Redaktör).

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

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskaplig

TY - BOOK

T1 - MaxSAT Evaluation 2018

T2 - Solver and Benchmark Descriptions

A2 - Bacchus, Fahiem

A2 - Järvisalo, Matti Juhani

A2 - Martins, Ruben

PY - 2018

Y1 - 2018

KW - 113 Computer and information sciences

M3 - Anthology or special issue

VL - B-2018-2

T3 - Department of Computer Science Series of Publications B

BT - MaxSAT Evaluation 2018

PB - Department of Computer Science, University of Helsinki

CY - Helsinki

ER -

Bacchus F, (ed.), Järvisalo MJ, (ed.), Martins R, (ed.). MaxSAT Evaluation 2018: Solver and Benchmark Descriptions. Helsinki: Department of Computer Science, University of Helsinki, 2018. 47 s. (Department of Computer Science Series of Publications B).