Proceedings of SAT Competition 2016

Näytä kaikki kuvailutiedot

Permalink

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

Lähdeviite

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

Julkaisun nimi: Proceedings of SAT Competition 2016;
Solver and Benchmark Descriptions
Tekijä: Balyo, Tomáš; Heule, Marijn J. H.
Toimittaja(t): Järvisalo, Matti Juhani
Muu tekijä: University of Helsinki, Department of Computer Science
Kuuluu julkaisusarjaan: Department of Computer Science Series of Publications B
ISBN: 978-951-51-2345-9
URI: http://hdl.handle.net/10138/164630
Päiväys: 2016
Avainsanat: 113 Computer and information sciences
Tekijänoikeustiedot:


Tiedostot

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

Tiedosto(t) Koko Formaatti Näytä
sc2016_proceedings.pdf 1.618MB PDF Avaa tiedosto

Viite kuuluu kokoelmiin:

Näytä kaikki kuvailutiedot