pfolioUZK: solver description

Konferenzbeitrag › Konferenzpaper › 2012

Zitation

Wotzlaw, Andreas; van der Grinten, Alexander; Speckenmeyer, Ewald; Porschen, Stefan: pfolioUZK: solver description. In: Proceedings of SAT Challenge 2012; Solver and Benchmark descriptions. Helsinki, Finnland: Universität Helsinki 2012, S. 45-45.

ISSN

1458-4786

ISBN

978-952-10-8106-4

Zitieren

BibTeX / RIS