Proceedings of SAT Race 2019: Solver and Benchmark Descriptions

Marijn J.H. Heule (Redaktör), Matti Järvisalo (Redaktör), Martin Suda (Redaktör)

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskaplig

Originalspråkengelska
UtgivningsortHelsinki
FörlagDepartment of Computer Science, University of Helsinki
VolymB-2019-1
Antal sidor61
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-1

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Projekt

Citera det här

Heule, M. J. H., Järvisalo, M., & Suda, M. (Red.) (2019). Proceedings of SAT Race 2019: Solver and Benchmark Descriptions. (Department of Computer Science Report Series B; Vol. B-2019-1). Department of Computer Science, University of Helsinki.