miniLoCeg+Glucose

DSpace Repositorium (Manakin basiert)

Zur Kurzanzeige

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


Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

Das Dokument erscheint in:

Zur Kurzanzeige