Proceedings of SAT Competition 2013

Näytä kaikki kuvailutiedot

Permalink

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

Lähdeviite

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

Julkaisun nimi: Proceedings of SAT Competition 2013;
Solver and Benchmark Descriptions
Tekijä: University of Helsinki, Department of Computer Science; Balint, Adrian; Belov, Anton; Heule, Marijn J.H.; Järvisalo, Matti; ;
Toimittaja(t): Balint, Adrian; Belov, Anton; Heule, Marijn J.H.; Järvisalo, Matti
Muu tekijä: University of Helsinki, Department of Computer Science
Kuuluu julkaisusarjaan: Department of Computer Science Series of Publications B
Julkaisun versio: Peer reviewed
URI: http://hdl.handle.net/10138/40026
Päiväys: 2013
Avainsanat: 113 Computer and information sciences
Tekijänoikeustiedot:


Tiedostot

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

Tiedosto(t) Koko Formaatti Näytä
sc2013_proceedings.pdf 2.742MB PDF Avaa tiedosto

Viite kuuluu kokoelmiin:

Näytä kaikki kuvailutiedot