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
DOI
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