Universität zu Köln

Wotzlaw, Andreas, van der Grinten, Alexander, Speckenmeyer, Ewald and Porschen, Stefan (2012). pfolioUZK: Solver Description. In: Proceedings of SAT Challenge 2012 : Solver and Benchmark Descriptions, p. 45. University of Helsinki.

Preview

PDF wotzlaw2012pfolioUZK.pdf - Draft Version Download (114kB) | Preview

Item Type:	Book Section
Creators:	Creators Email ORCID ORCID Put Code Wotzlaw, Andreas UNSPECIFIED UNSPECIFIED UNSPECIFIED van der Grinten, Alexander UNSPECIFIED UNSPECIFIED UNSPECIFIED Speckenmeyer, Ewald UNSPECIFIED UNSPECIFIED UNSPECIFIED Porschen, Stefan UNSPECIFIED UNSPECIFIED UNSPECIFIED
URN:	urn:nbn:de:hbz:38-550311
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:	p. 45
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/55031