MaxSAT Evaluation 2019: Solver and Benchmark Descriptions

Fahiem Bacchus (Redaktör), Matti 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
Antal sidor49
StatusPublicerad - 2019
MoE-publikationstypD6 Redigerade professionella böcker

Publikationsserier

NamnDepartment of Computer Science Report Series B
FörlagDepartment of Computer Science, University of Helsinki
VolymB-2019-2

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Citera det här

Bacchus, F., Järvisalo, M., & Martins, R. (Red.) (2019). MaxSAT Evaluation 2019: Solver and Benchmark Descriptions. (Department of Computer Science Report Series B; Vol. B-2019-2). Department of Computer Science, University of Helsinki.