Kaiser, Benjamin
Position:
Student Assistant
Room:
3360
Division:
Department:
Research group:
Mail:
kaiser
zib.de
zib.dePhone:
+49 30 841 85 - 339
Fax:
+49 30 841 85 - 311
Publications
2020
2020 |
|||
| 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
|