Hartung, Marc
Position:
Staff
Room:
3151
Division:
Department:
Research group:
Mail:
hartung
zib.de
zib.dePhone:
+49 30 841 85 - 513
Fax:
+49 30 841 85 - 311
Publications
2019
2019 |
|||
| Marc Hartung, Florian Schintke | Learned Clause Minimization in Parallel SAT Solvers | Pragmatics of SAT 2019, pp. 1-11, 2019 |
BibTeX
arXiv |