satUZK: Solver Description

van der Grinten, Alexander and Wotzlaw, Andreas and Speckenmeyer, Ewald and Porschen, Stefan (2012) satUZK: 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, pp. 54-55.


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