Proceedings of SAT Competition 2017: Solver and Benchmark Descriptions

Näytä tavanomaiset kuvailutiedot

dc.contributor.editor Balyo, Tomáš
dc.contributor.editor Heule, Marijn J. H.
dc.contributor.editor Järvisalo, Matti
dc.date.accessioned 2017-09-20T07:23:00Z
dc.date.available 2017-09-20T07:23:00Z
dc.date.issued 2017-09
dc.identifier.issn 1458-4786
dc.identifier.uri http://hdl.handle.net/10138/224324
dc.language.iso en fi
dc.publisher University of Helsinki, Department of Computer Science en
dc.relation.ispartofseries Publication series B, Report B-2017-1 en
dc.subject boolean satisfiability (SAT) en
dc.subject SAT solver en
dc.subject benchmark en
dc.title Proceedings of SAT Competition 2017: Solver and Benchmark Descriptions en

Tiedostot

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

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

Viite kuuluu kokoelmiin:

Näytä tavanomaiset kuvailutiedot