miniLoCeg+Glucose

dc.contributor.author	Burg, Sebastian
dc.contributor.author	Bringmann, Oliver
dc.contributor.author	Kropf, Thomas
dc.date.accessioned	2017-06-09T14:38:33Z
dc.date.available	2017-06-09T14:38:33Z
dc.date.issued	2014
dc.identifier.isbn	978-951-51-0043-6
dc.identifier.uri	http://hdl.handle.net/10900/76598
dc.language.iso	en	de_DE
dc.publisher	University of Helsinki Department of Computer Science Series of Publications B	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	004	de_DE
dc.title	miniLoCeg+Glucose	de_DE
dc.type	Article	de_DE
dc.type	ConferenceObject	de_DE
utue.publikation.seiten	43	de_DE
utue.personen.roh	Burg, Sebastian
utue.personen.roh	Bringmann, Oliver
utue.personen.roh	Kropf, Thomas
dcterms.isPartOf.ZSTitelID	Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions Department of Computer Science Series of Publications	de_DE
dcterms.isPartOf.ZS-Volume	B-2014-2	de_DE