Proceedings of SAT Competition 2018 : Solver and Benchmark Descriptions

Näytä kaikki kuvailutiedot



Pysyväisosoite

http://hdl.handle.net/10138/237063

Lähdeviite

Heule , M J H , Järvisalo , M J & Suda , M (eds) 2018 , Proceedings of SAT Competition 2018 : Solver and Benchmark Descriptions . Department of Computer Science Series of Publications B , vol. B-2018-1 , vol. B-2018-1 , Department of Computer Science, University of Helsinki , Helsinki .

Julkaisun nimi: Proceedings of SAT Competition 2018 : Solver and Benchmark Descriptions
Muu tekijä: Heule, Marijn J. H.
Järvisalo, Matti Juhani
Suda, Martin
Tekijän organisaatio: Helsinki Institute for Information Technology
Constraint Reasoning and Optimization research group / Matti Järvisalo
The Finnish Center of Excellence in Computational Inference Research (COIN)
Department of Computer Science
Julkaisija: Department of Computer Science, University of Helsinki
Päiväys: 2018
Kieli: eng
Sivumäärä: 77
Kuuluu julkaisusarjaan: Department of Computer Science Series of Publications B
URI: http://hdl.handle.net/10138/237063
Avainsanat: 113 Computer and information sciences
Vertaisarvioitu: Ei
Tekijänoikeustiedot: cc_by_nc
Pääsyrajoitteet: openAccess
Rinnakkaistallennettu versio: publishedVersion
Rahoittaja: Unknown funder
Rahoitusnumero:


Tiedostot

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

Tiedosto(t) Koko Formaatti Näytä
sc2018_proceedings.pdf 1.868MB PDF Avaa tiedosto

Viite kuuluu kokoelmiin:

Näytä kaikki kuvailutiedot