provoSAteur+glucose

DSpace Repositorium (Manakin basiert)

provoSAteur+glucose

Autor(en): Burg, Sebastian; Bringmann, Oliver; Kropf, Thomas
Tübinger Autor(en):
Burg, Sebastian
Bringmann, Oliver
Kropf, Thomas
Erschienen in: Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions, Department of Computer Science Series of Publications (2014), Bd. Vol.B-2014-2, S. 64
Verlagsangabe: University of Helsinki Department of Computer Science Series of Publications B
Sprache: Englisch
ISBN: 978-951-51-0043-6
DDC-Klassifikation: 004 - Informatik
Dokumentart: Wissenschaftlicher Artikel
Konferenzveröffentlichung
Zur Langanzeige

Das Dokument erscheint in: