pfolioUZK: Solver Description

Wotzlaw, Andreas and van der Grinten, Alexander and Speckenmeyer, Ewald and Porschen, Stefan (2012) pfolioUZK: Solver Description.
Published In: Proceedings of SAT Challenge 2012; Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B. 2012-2 University of Helsinki 2012, p. 45.


Actions:
Download: [img] PDF
Download (114kB) | Preview
Editorial actions: View Item View Item (Login required)
Deposit Information:
ZAIK Number: UNSPECIFIED
Depositing User: Andreas Wotzlaw
Date Deposited: 26 Jun 2012 09:44
Last Modified: 26 Jun 2012 09:44
URI: http://e-archive.informatik.uni-koeln.de/id/eprint/684