satUZK: Solver Description

Konferenzbeitrag › Konferenzpaper › 2013

Zitation

van der Grinten, Alexander; Wotzlaw, Andreas; Speckenmeyer, Ewald; Porschen, Stefan: satUZK: Solver Description. In: Proceedings of SAT Competition 2013: Solver and Benchmark Descriptions, volume B-2013-1 of . Hg. von Balint, A.; Belov, A.; Heule, M.; Järvisalo, J.. Helsinki: Department of Computer Science Series of Publications B, University of Helsinki 2013. 2013, S. 82-82.

ISSN

1458-4786

ISBN

978-952-10-8991-6

Zitieren

BibTeX / RIS