Proceedings of SAT Challenge 2012

Show simple item record

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.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.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.uri info:eu-repo/semantics/book
dc.contributor.pbl
dc.contributor.pbl

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