Proceedings of SAT Competition 2014

Näytä kaikki kuvailutiedot

Permalink

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

Lähdeviite

Belov , A , Diepold, D, Heule , M J H & Järvisalo , M (eds) 2014 , Proceedings of SAT Competition 2014 : Solver and Benchmark Descriptions . Department of Computer Science Series of Publications B , vol. B-2014-2 , vol. B-2014-2 , University of Helsinki , Helsinki .

Julkaisun nimi: Proceedings of SAT Competition 2014;
Solver and Benchmark Descriptions
Toimittaja(t): Belov, Anton; Diepold, Daniel; Heule, Marijn J.H.; Järvisalo, Matti
Kuuluu julkaisusarjaan: Department of Computer Science Series of Publications B
ISSN: 1458-4786
Julkaisun versio: Peer reviewed
URI: http://hdl.handle.net/10138/135571
Päiväys: 2014
Avainsanat: 113 Computer and information sciences


Tiedostot

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

Tiedosto(t) Koko Formaatti Näytä
sc2014_proceedings.pdf 1.601MB PDF Avaa tiedosto

Viite kuuluu kokoelmiin:

Näytä kaikki kuvailutiedot