provoSAteur+glucose
Author:
|
Burg, Sebastian; Bringmann, Oliver; Kropf, Thomas
|
Tübinger Autor(en):
|
|
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
|