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 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.other PURE: 22600016
dc.identifier.other PURE UUID: 79af3fc3-1e7f-49d6-9b87-7168525017fb
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

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