Proceedings of SAT Competition 2017: Solver and Benchmark Descriptions

Näytä kaikki kuvailutiedot

Permalink

http://hdl.handle.net/10138/224324
Julkaisun nimi: Proceedings of SAT Competition 2017: Solver and Benchmark Descriptions
Toimittaja(t): Balyo, Tomáš; Heule, Marijn J. H.; Järvisalo, Matti
Kuuluu julkaisusarjaan: Publication series B, Report B-2017-1
ISSN: 1458-4786
URI: http://hdl.handle.net/10138/224324
Päiväys: 2017-09
Avainsanat: boolean satisfiability (SAT)
SAT solver
benchmark


Tiedostot

Latausmäärä yhteensä: Ladataan...

Tiedosto(t) Koko Formaatti Näytä
sc2017-proceedings.pdf 1.320MB PDF Avaa tiedosto

Viite kuuluu kokoelmiin:

Näytä kaikki kuvailutiedot