MaxSAT Evaluation 2017

Solver and Benchmark Descriptions

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

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

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

Publikationsserier

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

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Citera det här

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

}

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

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

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

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

TY - BOOK

T1 - MaxSAT Evaluation 2017

T2 - Solver and Benchmark Descriptions

A2 - Ansotegui, Carlos

A2 - Bacchus, Fahiem

A2 - Järvisalo, Matti

A2 - Martins, Ruben

PY - 2017

Y1 - 2017

KW - 113 Computer and information sciences

M3 - Anthology or special issue

VL - B-2017-2

T3 - Series of Publications B

BT - MaxSAT Evaluation 2017

PB - Department of Computer Science, University of Helsinki

CY - Helsinki

ER -

Ansotegui C, (ed.), Bacchus F, (ed.), Järvisalo M, (ed.), Martins R, (ed.). MaxSAT Evaluation 2017: Solver and Benchmark Descriptions. Helsinki: Department of Computer Science, University of Helsinki, 2017. 41 s. (Series of Publications B).