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: |
Latausmäärä yhteensä: Ladataan...
Tiedosto(t) | Koko | Formaatti | Näytä |
---|---|---|---|
sc2018_proceedings.pdf | 1.868MB | Avaa tiedosto |