Proceedings of SAT Race 2019: Solver and Benchmark Descriptions

Marijn J.H. Heule (Toimittaja), Matti Järvisalo (Toimittaja), Martin Suda (Toimittaja)

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinen

Hakutulokset