MaxSAT Evaluation 2024: Solver and Benchmark Descriptions

Jeremias Berg; Matti Järvisalo; Ruben Martins; Andreas Niskanen; Tobias Paxian

MaxSAT Evaluation 2024: Solver and Benchmark Descriptions

Jeremias Berg (Redaktör), Matti Järvisalo (Redaktör), Ruben Martins (Redaktör), Andreas Niskanen (Redaktör), Tobias Paxian (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
Antal sidor	44
Status	Publicerad - 2024
MoE-publikationstyp	D6 Redigerade professionella böcker

Publikationsserier

Namn	Department of Computer Science Series of Publications B
Förlag	Department of Computer Science, University of Helsinki
Volym	B-2024-2
ISSN (elektroniskt)	1458-4786

Vetenskapsgrenar

113 Data- och informationsvetenskap

Åtkomst av dokument

mse24procSlutlig publicerad version, 944 KB

Next-generation Unsatisfiabillity-based Declarative Optimization
Järvisalo, M. (Projektledare), Conati, A. F. (deltagare), Eskelinen, V. (deltagare), Feyzbakhsh Rankooh, M. (deltagare), Jabs, C. J. (deltagare) & Lehtonen, T. (deltagare)
Finlands Akademi
01/09/2023 → 31/08/2027
Projekt: Finlands Akademi: Akademiprojektsbidrag

Citera det här

@book{b1eb376b8781423b859842dadb700261,

title = "MaxSAT Evaluation 2024: Solver and Benchmark Descriptions",

keywords = "113 Computer and information sciences",

editor = "Jeremias Berg and Matti J{\"a}rvisalo and Ruben Martins and Andreas Niskanen and Tobias Paxian",

year = "2024",

language = "English",

series = "Department of Computer Science Series of Publications B",

publisher = "Department of Computer Science, University of Helsinki",

address = "Finland",

}

MaxSAT Evaluation 2024: Solver and Benchmark Descriptions. / Berg, Jeremias (Redaktör); Järvisalo, Matti (Redaktör); Martins, Ruben (Redaktör) et al.
Helsinki: Department of Computer Science, University of Helsinki, 2024. 44 s. (Department of Computer Science Series of Publications B; Vol. B-2024-2).

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

TY - BOOK

T1 - MaxSAT Evaluation 2024

T2 - Solver and Benchmark Descriptions

A2 - Berg, Jeremias

A2 - Järvisalo, Matti

A2 - Martins, Ruben

A2 - Niskanen, Andreas

A2 - Paxian, Tobias

PY - 2024

Y1 - 2024

KW - 113 Computer and information sciences

M3 - Anthology or special issue

T3 - Department of Computer Science Series of Publications B

BT - MaxSAT Evaluation 2024

PB - Department of Computer Science, University of Helsinki

CY - Helsinki

ER -

MaxSAT Evaluation 2024: Solver and Benchmark Descriptions

Publikationsserier

Vetenskapsgrenar

Åtkomst av dokument

Projekt

Next-generation Unsatisfiabillity-based Declarative Optimization

Citera det här