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
dc.date.accessioned 2013-06-19T09:44:43Z
dc.date.available 2013-06-19T09:44:43Z
dc.date.issued 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.identifier.uri http://hdl.handle.net/10138/40026
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.relation.uri http://hdl.handle.net/10138/40026
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
dc.type.uri http://purl.org/eprint/status/NonPeerReviewed
dc.contributor.pbl
dc.contributor.pbl

Tiedostot

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