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
2023
2021
2020
2023 |
|||
| Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis | Prioritised Unit Propagation by Partitioning the Watch Lists | Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), pp. 14-34, Vol.3545, 2023 |
BibTeX
|
| Veronica R. Policht, Henry Mittenzwey, Oleg Dogadov, Manuel Katzer, Andrea Villa, Qiuyang Li, Benjamin Kaiser, Aaron M. Ross, Francesco Scotognella, Xiaoyang Zhu, Andreas Knorr, Malte Selig, Giulio Cerullo, Stefano Dal Conte | Time-domain observation of interlayer exciton formation and thermalization in a MoSe2/WSe2 heterostructure | Nature Communications, Vol.14, pp. 1-9, 2023 |
BibTeX
DOI |
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
|