Yliopiston etusivulle Suomeksi På svenska In English Helsingin yliopisto

Proceedings of SAT Challenge 2012

Show simple item record

dc.contributor University of Helsinki, Helsinki Institute for Information Technology HIIT 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.other PURE: 22600016
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.subject 113 Computer and information sciences en
dc.title Proceedings of SAT Challenge 2012 en
dc.title Solver and Benchmark Descriptions en
dc.type C2 Edited book, compilation, conference proceeding or special issue of journal
dc.type.dcmitype textfile
dc.type.uri info:eu-repo/semantics/book
dc.contributor.pbl
dc.contributor.pbl

Files in this item

Files Description Size Format View/Open
sc2012_proceedings.pdf 1.853Mb PDF View/Open
This item appears in the following Collection(s)

Show simple item record

Search Helda


Advanced Search

Browse

My Account