Universität zu Köln

van der Grinten, Alexander, Wotzlaw, Andreas, Speckenmeyer, Ewald and Porschen, Stefan (2012). satUZK: Solver Description. In: Proceedings of SAT Challenge 2012 : Solver and Benchmark Descriptions, pp. 54-55. University of Helsinki.

Preview

PDF vangrinten2012satUZK.pdf - Draft Version Download (116kB) | Preview

Item Type:	Book Section, Proceedings Item or annotation in a legal commentary
Creators:	Creators Email ORCID ORCID Put Code van der Grinten, Alexander UNSPECIFIED UNSPECIFIED UNSPECIFIED Wotzlaw, Andreas UNSPECIFIED UNSPECIFIED UNSPECIFIED Speckenmeyer, Ewald UNSPECIFIED UNSPECIFIED UNSPECIFIED Porschen, Stefan UNSPECIFIED UNSPECIFIED UNSPECIFIED
URN:	urn:nbn:de:hbz:38-550303
Title of Book:	Proceedings of SAT Challenge 2012 : Solver and Benchmark Descriptions
Series Name:	Department of Computer Science Series of Publications B
Volume:	2012-2
Page Range:	pp. 54-55
Date:	2012
Publisher:	University of Helsinki
Language:	English
Faculty:	Faculty of Mathematics and Natural Sciences
Divisions:	Faculty of Mathematics and Natural Sciences > Department of Mathematics and Computer Science > Institute of Computer Science
Subjects:	Data processing Computer science
Refereed:	No
URI:	http://kups.ub.uni-koeln.de/id/eprint/55030