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 |
| Marc Hartung, Florian Schintke, Thorsten Schütt | Pinpoint Data Races via Testing and Classification | 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW); 3rd International Workshop on Software Faults (IWSF 2019), pp. 386-393, 2019 |
BibTeX
DOI |
| Marc Hartung | ZIB_Glucose: Luby Blocked Restarts and Dynamic Vivification | Proceedings of SAT Race 2019 : Solver and Benchmark Descriptions, pp. 43-44, 2019 |
PDF
BibTeX |