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:

• Department of Computer Science - Series of publications [28]
  

Näytä kaikki kuvailutiedot