Proceedings of SAT Competition 2013
Permalink
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 |
| ISBN: | 978-952-10-8991-6 |
| 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 | Avaa tiedosto |