Proceedings of SAT Challenge 2012

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 Diepold, Daniel
dc.contributor.editor Gerber, Simon
dc.contributor.editor Järvisalo, Matti
dc.contributor.editor Sinz, Carsten
dc.date.accessioned 2012-06-13T12:50:01Z
dc.date.available 2012-06-13T12:50:01Z
dc.date.issued 2012
dc.identifier.citation 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 . en
dc.identifier.isbn 978-952-10-8106-4
dc.identifier.other PURE: 22600016
dc.identifier.other PURE UUID: 79af3fc3-1e7f-49d6-9b87-7168525017fb
dc.identifier.uri http://hdl.handle.net/10138/34218
dc.format.extent 92
dc.language.iso eng
dc.publisher University of Helsinki
dc.relation.ispartofseries Department of Computer Science Series of Publications B
dc.relation.uri https://helda.helsinki.fi/handle/10138/34218
dc.rights en
dc.subject 113 Computer and information sciences en
dc.title Proceedings of SAT Challenge 2012 en
dc.title Solver and Benchmark Descriptions en
dc.type Anthology or special issue
dc.description.version Peer reviewed
dc.type.uri info:eu-repo/semantics/other
dc.type.uri info:eu-repo/semantics/publishedVersion
dc.contributor.pbl
dc.contributor.pbl

Tiedostot

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

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

Viite kuuluu kokoelmiin:

Näytä tavanomaiset kuvailutiedot