Kaiser, Benjamin

Position:
Student Assistant
Room:
3358
Division:
Department:
Research group:
Mail:
kaiser
zib.de

Phone:
+49 30 841 85 - 339
Fax:
+49 30 841 85 - 311
Publications
2021
2020
2021 |
|||
Benjamin Kaiser, Robert Clausecker | CleanMaple | SAT Competition 2021: Solver Descriptions, 2021 |
BibTeX
|
Benjamin Kaiser, Robert Clausecker | CleanMaple_PriPro, CaDiCaL_PriPro and CaDiCaL_PriPro_no_bin | SAT Competition 2021: Solver Descriptions, 2021 |
BibTeX
|
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
|