Proceedings of SAT Competition 2013

Näytä tavanomaiset kuvailutiedot

dc.contributor University of Helsinki, Department of Computer Science en
dc.contributor.editor Balint, Adrian
dc.contributor.editor Belov, Anton
dc.contributor.editor Heule, Marijn J.H.
dc.contributor.editor Järvisalo, Matti 2013-06-19T09:44:43Z 2013-06-19T09:44:43Z 2013
dc.identifier.citation 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 . en
dc.identifier.isbn 978-952-10-8991-6
dc.identifier.other PURE: 27982689
dc.identifier.other PURE UUID: 4b9e6c68-ce15-4856-8a51-fcbbf9d445a7
dc.format.extent 128
dc.language.iso eng
dc.publisher University of Helsinki
dc.relation.ispartofseries Department of Computer Science Series of Publications B
dc.rights en
dc.subject 113 Computer and information sciences en
dc.title Proceedings of SAT Competition 2013 en
dc.title Solver and Benchmark Descriptions en
dc.type Anthology or special issue
dc.description.version Non Peer reviewed
dc.type.uri info:eu-repo/semantics/other


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

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

Viite kuuluu kokoelmiin:

Näytä tavanomaiset kuvailutiedot