Benjamin Kaiser

Contact

Room
3358
Phone
+49 30 84185-339
Email

Publications

2023
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 Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis BibTeX
Kaiser, Benjamin
Time-domain observation of interlayer exciton formation and thermalization in a MoSe2/WSe2 heterostructure Nature Communications, Vol.14, pp. 1-9, 2023 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 BibTeX
DOI
Kaiser, Benjamin
2021
CleanMaple Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions, p. 24, 2021 Benjamin Kaiser, Robert Clausecker BibTeX
Kaiser, Benjamin
CleanMaple_PriPro, CaDiCaL_PriPro and CaDiCaL_PriPro_no_bin Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions, p. 25, 2021 Benjamin Kaiser, Robert Clausecker BibTeX
Kaiser, Benjamin
Sliding Tile Puzzles Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions, p. 57, 2021 Robert Clausecker, Benjamin Kaiser BibTeX
Kaiser, Benjamin
2020
Crafted Benchmarks with Artificial Community Structure and Known Complexity Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions, pp. 89-90, 2020 Marc Hartung, Benjamin Kaiser BibTeX
Kaiser, Benjamin
PauSat Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions, pp. 34-35, 2020 Benjamin Kaiser, Marc Hartung BibTeX
Kaiser, Benjamin