MaxSAT Evaluation 2020: Solver and Benchmark Descriptions

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

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskaplig

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

Publikationsserier

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

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Citera det här

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