TY - JOUR A1 - Schimunek, Johannes A1 - Seidl, Philipp A1 - Elez, Katarina A1 - Hempel, Tim A1 - Le, Tuan A1 - Noé, Frank A1 - Olsson, Simon A1 - Raich, Lluís A1 - Winter, Robin A1 - Gokcan, Hatice A1 - Gusev, Filipp A1 - Gutkin, Evgeny M. A1 - Isayev, Olexandr A1 - Kurnikova, Maria G. A1 - Narangoda, Chamali H. A1 - Zubatyuk, Roman A1 - Bosko, Ivan P. A1 - Furs, Konstantin V. A1 - Karpenko, Anna D. A1 - Kornoushenko, Yury V. A1 - Shuldau, Mikita A1 - Yushkevich, Artsemi A1 - Benabderrahmane, Mohammed B. A1 - Bousquet-Melou, Patrick A1 - Bureau, Ronan A1 - Charton, Beatrice A1 - Cirou, Bertrand C. A1 - Gil, Gérard A1 - Allen, William J. A1 - Sirimulla, Suman A1 - Watowich, Stanley A1 - Antonopoulos, Nick A1 - Epitropakis, Nikolaos A1 - Krasoulis, Agamemnon A1 - Itsikalis, Vassilis A1 - Theodorakis, Stavros A1 - Kozlovskii, Igor A1 - Maliutin, Anton A1 - Medvedev, Alexander A1 - Popov, Petr A1 - Zaretckii, Mark A1 - Eghbal-Zadeh, Hamid A1 - Halmich, Christina A1 - Hochreiter, Sepp A1 - Mayr, Andreas A1 - Ruch, Peter A1 - Widrich, Michael A1 - Berenger, Francois A1 - Kumar, Ashutosh A1 - Yamanishi, Yoshihiro A1 - Zhang, Kam Y. J. A1 - Bengio, Emmanuel A1 - Bengio, Yoshua A1 - Jain, Moksh J. A1 - Korablyov, Maksym A1 - Liu, Cheng-Hao A1 - Marcou, Gilles A1 - Glaab, Enrico A1 - Barnsley, Kelly A1 - Iyengar, Suhasini M. A1 - Ondrechen, Mary Jo A1 - Haupt, V. Joachim A1 - Kaiser, Florian A1 - Schroeder, Michael A1 - Pugliese, Luisa A1 - Albani, Simone A1 - Athanasiou, Christina A1 - Beccari, Andrea A1 - Carloni, Paolo A1 - D’Arrigo, Giulia A1 - Gianquinto, Eleonora A1 - Goßen, Jonas A1 - Hanke, Anton A1 - Joseph, Benjamin P. A1 - Kokh, Daria B. A1 - Kovachka, Sandra A1 - Manelfi, Candida A1 - Mukherjee, Goutam A1 - Muñiz-Chicharro, Abraham A1 - Musiani, Francesco A1 - Nunes-Alves, Ariane A1 - Paiardi, Giulia A1 - Rossetti, Giulia A1 - Sadiq, S. Kashif A1 - Spyrakis, Francesca A1 - Talarico, Carmine A1 - Tsengenes, Alexandros A1 - Wade, Rebecca C. A1 - Copeland, Conner A1 - Gaiser, Jeremiah A1 - Olson, Daniel R. A1 - Roy, Amitava A1 - Venkatraman, Vishwesh A1 - Wheeler, Travis J. A1 - Arthanari, Haribabu A1 - Blaschitz, Klara A1 - Cespugli, Marco A1 - Durmaz, Vedat A1 - Fackeldey, Konstantin A1 - Fischer, Patrick D. A1 - Gorgulla, Christoph A1 - Gruber, Christian A1 - Gruber, Karl A1 - Hetmann, Michael A1 - Kinney, Jamie E. A1 - Padmanabha Das, Krishna M. A1 - Pandita, Shreya A1 - Singh, Amit A1 - Steinkellner, Georg A1 - Tesseyre, Guilhem A1 - Wagner, Gerhard A1 - Wang, Zi-Fu A1 - Yust, Ryan J. A1 - Druzhilovskiy, Dmitry S. A1 - Filimonov, Dmitry A. A1 - Pogodin, Pavel V. A1 - Poroikov, Vladimir A1 - Rudik, Anastassia V. A1 - Stolbov, Leonid A. A1 - Veselovsky, Alexander V. A1 - De Rosa, Maria A1 - De Simone, Giada A1 - Gulotta, Maria R. A1 - Lombino, Jessica A1 - Mekni, Nedra A1 - Perricone, Ugo A1 - Casini, Arturo A1 - Embree, Amanda A1 - Gordon, D. Benjamin A1 - Lei, David A1 - Pratt, Katelin A1 - Voigt, Christopher A. A1 - Chen, Kuang-Yu A1 - Jacob, Yves A1 - Krischuns, Tim A1 - Lafaye, Pierre A1 - Zettor, Agnès A1 - Rodríguez, M. Luis A1 - White, Kris M. A1 - Fearon, Daren A1 - Von Delft, Frank A1 - Walsh, Martin A. A1 - Horvath, Dragos A1 - Brooks III, Charles L. A1 - Falsafi, Babak A1 - Ford, Bryan A1 - García-Sastre, Adolfo A1 - Yup Lee, Sang A1 - Naffakh, Nadia A1 - Varnek, Alexandre A1 - Klambauer, Günter A1 - Hermans, Thomas M. T1 - A community effort in SARS-CoV-2 drug discovery JF - Molecular Informatics KW - COVID-19 KW - drug discovery KW - machine learning KW - SARS-CoV-2 Y1 - 2023 U6 - https://doi.org/https://doi.org/10.1002/minf.202300262 VL - 43 IS - 1 SP - e202300262 ER - TY - CHAP A1 - Kaiser, Benjamin A1 - Hartung, Marc T1 - PauSat T2 - Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions Y1 - 2020 UR - http://hdl.handle.net/10138/318450 SP - 34 EP - 35 ER - TY - CHAP A1 - Hartung, Marc A1 - Kaiser, Benjamin T1 - Crafted Benchmarks with Artificial Community Structure and Known Complexity T2 - Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions Y1 - 2020 UR - http://hdl.handle.net/10138/318450 SP - 89 EP - 90 ER - TY - CHAP A1 - Kaiser, Benjamin A1 - Clausecker, Robert T1 - CleanMaple_PriPro, CaDiCaL_PriPro and CaDiCaL_PriPro_no_bin T2 - Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions Y1 - 2021 UR - http://hdl.handle.net/10138/333647 N1 - CaDiCaL_PriPro won the Special Innovation Price at the SAT Competition 2021 SP - 25 ER - TY - CHAP A1 - Clausecker, Robert A1 - Kaiser, Benjamin T1 - Sliding Tile Puzzles T2 - Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions Y1 - 2021 UR - http://hdl.handle.net/10138/333647 SP - 57 ER - TY - CHAP A1 - Kaiser, Benjamin A1 - Clausecker, Robert T1 - CleanMaple T2 - Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions Y1 - 2021 UR - http://hdl.handle.net/10138/333647 SP - 24 ER - TY - JOUR A1 - Policht, Veronica R. A1 - Mittenzwey, Henry A1 - Dogadov, Oleg A1 - Katzer, Manuel A1 - Villa, Andrea A1 - Li, Qiuyang A1 - Kaiser, Benjamin A1 - Ross, Aaron M. A1 - Scotognella, Francesco A1 - Zhu, Xiaoyang A1 - Knorr, Andreas A1 - Selig, Malte A1 - Cerullo, Giulio A1 - Dal Conte, Stefano T1 - Time-domain observation of interlayer exciton formation and thermalization in a MoSe2/WSe2 heterostructure JF - Nature Communications N2 - Vertical heterostructures of transition metal dichalcogenides (TMDs) host interlayer excitons with electrons and holes residing in different layers. With respect to their intralayer counterparts, interlayer excitons feature longer lifetimes and diffusion lengths, paving the way for room temperature excitonic optoelectronic devices. The interlayer exciton formation process and its underlying physical mechanisms are largely unexplored. Here we use ultrafast transient absorption spectroscopy with a broadband white-light probe to simultaneously resolve interlayer charge transfer and interlayer exciton formation dynamics in a MoSe2/WSe2 heterostructure. We observe an interlayer exciton formation timescale nearly an order of magnitude (~1 ps) longer than the interlayer charge transfer time (~100 fs). Microscopic calculations attribute this relative delay to an interplay of a phonon-assisted interlayer exciton cascade and thermalization, and excitonic wave-function overlap. Our results may explain the efficient photocurrent generation observed in optoelectronic devices based on TMD heterostructures, as the interlayer excitons are able to dissociate during thermalization. Y1 - 2023 U6 - https://doi.org/10.1038/s41467-023-42915-x VL - 14 SP - 1 EP - 9 PB - Springer Nature ER - TY - CHAP A1 - Kaiser, Benjamin A1 - Clausecker, Robert A1 - Mavroskoufis, Michael T1 - Prioritised Unit Propagation by Partitioning the Watch Lists T2 - 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) N2 - Conflict Driven Clause Learning (CDCL) SAT solvers spend most of their execution time iterating through clauses in unit propagation. Efficient implementations of unit propagation mostly rely on the two watched literals (TWL) scheme, a specialised data structure watching two literals per clause to prevent as many clause lookups as possible. In this paper, we present Priority Propagation (PriPro)—a minimally invasive method to adapt unit propagation in existing SAT solvers. With PriPro the traditional TWL scheme is partitioned to allow for rearranging the order in which clauses are examined. This is used to achieve a prioritisation of certain clauses. Using PriPro in combination with a dynamic heuristic to prioritise resolvents from recent conflicts, the effectiveness of unit propagation can be increased. In the state-of-the-art CDCL SAT solver CaDiCaL modified to use PriPro, we obtained a 5–10 % speedup on the SAT Competition 2021 benchmark set in a fair comparison with the unmodified CaDiCaL. Y1 - 2023 UR - https://ceur-ws.org/Vol-3545/paper2.pdf VL - 3545 SP - 14 EP - 34 PB - CEUR Workshop Proceedings ER -