 | Up a level |
Wotzlaw, Andreas, van der Grinten, Alexander and Speckenmeyer, Ewald
(2013).
Effectiveness of pre- and inprocessing for CDCL-based SAT solving.
Technical Report.
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.