provoSAteur+glucose

DSpace Repository

provoSAteur+glucose

Author: Burg, Sebastian; Bringmann, Oliver; Kropf, Thomas
Tübinger Autor(en):
Burg, Sebastian
Bringmann, Oliver
Kropf, Thomas
Published 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
Language: English
ISBN: 978-951-51-0043-6
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Article
ConferenceObject
Show full item record

This item appears in the following Collection(s)