Proceedings of SAT Challenge 2012

Show simple item record

dc.contributor University of Helsinki, Helsinki Institute for Information Technology 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 2012-06-13T12:50:01Z 2012-06-13T12:50:01Z 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.other ORCID: /0000-0003-2572-063X/work/29813590
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.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

Files in this item

Total number of downloads: Loading...

Files Size Format View
sc2012_proceedings.pdf 1.767Mb PDF View/Open

This item appears in the following Collection(s)

Show simple item record