Proceedings of SAT Challenge 2012

Näytä kaikki kuvailutiedot

Permalink

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

Lähdeviite

Balint , A , Belov , A , Diepold , D , Gerber , S , Järvisalo , M & Sinz , C (eds) 2012 , Proceedings of SAT Challenge 2012 : Solver and Benchmark Descriptions . Department of Computer Science Series of Publications B , vol. B-2012-2 , vol. B-2012-2 , University of Helsinki , Helsinki .

Julkaisun nimi: Proceedings of SAT Challenge 2012;
Solver and Benchmark Descriptions
Tekijä: University of Helsinki, Helsinki Institute for Information Technology HIIT; Balint, Adrian; Belov, Anton; Diepold, Daniel; Gerber, Simon; Järvisalo, Matti; Sinz, Carsten; ;
Toimittaja(t): Balint, Adrian; Belov, Anton; Diepold, Daniel; Gerber, Simon; Järvisalo, Matti; Sinz, Carsten
Muu tekijä: University of Helsinki, Helsinki Institute for Information Technology HIIT
Kuuluu julkaisusarjaan: Department of Computer Science Series of Publications B
Julkaisun versio: Peer reviewed
URI: http://hdl.handle.net/10138/34218
Päiväys: 2012
Avainsanat: 113 Computer and information sciences
Tekijänoikeustiedot:


Tiedostot

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

Tiedosto(t) Koko Formaatti Näytä
sc2012_proceedings.pdf 1.767MB PDF Avaa tiedosto

Viite kuuluu kokoelmiin:

Näytä kaikki kuvailutiedot