Kaiser, Benjamin
Funktion:
Studentische Hilfskraft
Raum:
3358
Bereich:
Abteilung:
Arbeitsgruppe:
Mail:
kaiser
zib.de
zib.deTelefon:
+49 30 841 85 - 339
Fax:
+49 30 841 85 - 311
Publikationen
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
|