Proceedings of SAT Challenge 2012
Permalink
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; 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 |
| Kuuluu julkaisusarjaan: | Department of Computer Science Series of Publications B |
| ISBN: | 978-952-10-8106-4 |
| 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 | Avaa tiedosto |