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
2020
2019
2020 |
|||
| Marc Hartung | CTSat: C++ Template Abstractions for Dynamic Interchangeable SAT Solver Features | Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions, pp. 32-33, 2020 |
BibTeX
|
| Marc Hartung, Benjamin Kaiser | Crafted Benchmarks with Artificial Community Structure and Known Complexity | Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions, pp. 89-90, 2020 |
BibTeX
|
| Benjamin Kaiser, Marc Hartung | PauSat | Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions, pp. 34-35, 2020 |
BibTeX
|
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 |