Up a level |
Book Section, Proceedings Item or annotation in a legal commentary
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.
van der Grinten, Alexander, Wotzlaw, Andreas, Speckenmeyer, Ewald and Porschen, Stefan (2012). satUZK: Solver Description. In: Proceedings of SAT Challenge 2012 : Solver and Benchmark Descriptions, pp. 54-55. University of Helsinki.
Preprints, Working Papers or Reports
Wotzlaw, Andreas, van der Grinten, Alexander and Speckenmeyer, Ewald (2013). Effectiveness of pre- and inprocessing for CDCL-based SAT solving. Technical Report.