Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions

Tomáš Balyo (Redaktör), Nils Froleyks (Redaktör), Marijn J.H. Heule (Redaktör), Markus Iser (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
Antal sidor104
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-1

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Citera det här

Balyo, T., Froleyks, N., Heule, M. J. H., Iser, M., Järvisalo, M., & Suda, M. (Red.) (2020). Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions. (Department of Computer Science Report Series B; Vol. B-2020-1). Department of Computer Science, University of Helsinki.