@article{SchimunekSeidlElezetal.2023, author = {Schimunek, Johannes and Seidl, Philipp and Elez, Katarina and Hempel, Tim and Le, Tuan and No{\´e}, Frank and Olsson, Simon and Raich, Llu{\´i}s and Winter, Robin and Gokcan, Hatice and Gusev, Filipp and Gutkin, Evgeny M. and Isayev, Olexandr and Kurnikova, Maria G. and Narangoda, Chamali H. and Zubatyuk, Roman and Bosko, Ivan P. and Furs, Konstantin V. and Karpenko, Anna D. and Kornoushenko, Yury V. and Shuldau, Mikita and Yushkevich, Artsemi and Benabderrahmane, Mohammed B. and Bousquet-Melou, Patrick and Bureau, Ronan and Charton, Beatrice and Cirou, Bertrand C. and Gil, G{\´e}rard and Allen, William J. and Sirimulla, Suman and Watowich, Stanley and Antonopoulos, Nick and Epitropakis, Nikolaos and Krasoulis, Agamemnon and Itsikalis, Vassilis and Theodorakis, Stavros and Kozlovskii, Igor and Maliutin, Anton and Medvedev, Alexander and Popov, Petr and Zaretckii, Mark and Eghbal-Zadeh, Hamid and Halmich, Christina and Hochreiter, Sepp and Mayr, Andreas and Ruch, Peter and Widrich, Michael and Berenger, Francois and Kumar, Ashutosh and Yamanishi, Yoshihiro and Zhang, Kam Y. J. and Bengio, Emmanuel and Bengio, Yoshua and Jain, Moksh J. and Korablyov, Maksym and Liu, Cheng-Hao and Marcou, Gilles and Glaab, Enrico and Barnsley, Kelly and Iyengar, Suhasini M. and Ondrechen, Mary Jo and Haupt, V. Joachim and Kaiser, Florian and Schroeder, Michael and Pugliese, Luisa and Albani, Simone and Athanasiou, Christina and Beccari, Andrea and Carloni, Paolo and D'Arrigo, Giulia and Gianquinto, Eleonora and Goßen, Jonas and Hanke, Anton and Joseph, Benjamin P. and Kokh, Daria B. and Kovachka, Sandra and Manelfi, Candida and Mukherjee, Goutam and Mu{\~n}iz-Chicharro, Abraham and Musiani, Francesco and Nunes-Alves, Ariane and Paiardi, Giulia and Rossetti, Giulia and Sadiq, S. Kashif and Spyrakis, Francesca and Talarico, Carmine and Tsengenes, Alexandros and Wade, Rebecca C. and Copeland, Conner and Gaiser, Jeremiah and Olson, Daniel R. and Roy, Amitava and Venkatraman, Vishwesh and Wheeler, Travis J. and Arthanari, Haribabu and Blaschitz, Klara and Cespugli, Marco and Durmaz, Vedat and Fackeldey, Konstantin and Fischer, Patrick D. and Gorgulla, Christoph and Gruber, Christian and Gruber, Karl and Hetmann, Michael and Kinney, Jamie E. and Padmanabha Das, Krishna M. and Pandita, Shreya and Singh, Amit and Steinkellner, Georg and Tesseyre, Guilhem and Wagner, Gerhard and Wang, Zi-Fu and Yust, Ryan J. and Druzhilovskiy, Dmitry S. and Filimonov, Dmitry A. and Pogodin, Pavel V. and Poroikov, Vladimir and Rudik, Anastassia V. and Stolbov, Leonid A. and Veselovsky, Alexander V. and De Rosa, Maria and De Simone, Giada and Gulotta, Maria R. and Lombino, Jessica and Mekni, Nedra and Perricone, Ugo and Casini, Arturo and Embree, Amanda and Gordon, D. Benjamin and Lei, David and Pratt, Katelin and Voigt, Christopher A. and Chen, Kuang-Yu and Jacob, Yves and Krischuns, Tim and Lafaye, Pierre and Zettor, Agn{\`e}s and Rodr{\´i}guez, M. Luis and White, Kris M. and Fearon, Daren and Von Delft, Frank and Walsh, Martin A. and Horvath, Dragos and Brooks III, Charles L. and Falsafi, Babak and Ford, Bryan and Garc{\´i}a-Sastre, Adolfo and Yup Lee, Sang and Naffakh, Nadia and Varnek, Alexandre and Klambauer, G{\"u}nter and Hermans, Thomas M.}, title = {A community effort in SARS-CoV-2 drug discovery}, series = {Molecular Informatics}, volume = {43}, journal = {Molecular Informatics}, number = {1}, doi = {https://doi.org/10.1002/minf.202300262}, pages = {e202300262}, year = {2023}, language = {en} } @inproceedings{KaiserHartung, author = {Kaiser, Benjamin and Hartung, Marc}, title = {PauSat}, series = {Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions}, booktitle = {Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions}, pages = {34 -- 35}, language = {en} } @inproceedings{HartungKaiser, author = {Hartung, Marc and Kaiser, Benjamin}, title = {Crafted Benchmarks with Artificial Community Structure and Known Complexity}, series = {Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions}, booktitle = {Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions}, pages = {89 -- 90}, language = {en} } @inproceedings{KaiserClausecker, author = {Kaiser, Benjamin and Clausecker, Robert}, title = {CleanMaple_PriPro, CaDiCaL_PriPro and CaDiCaL_PriPro_no_bin}, series = {Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions}, booktitle = {Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions}, pages = {25}, language = {en} } @inproceedings{ClauseckerKaiser, author = {Clausecker, Robert and Kaiser, Benjamin}, title = {Sliding Tile Puzzles}, series = {Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions}, booktitle = {Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions}, pages = {57}, language = {en} } @inproceedings{KaiserClausecker, author = {Kaiser, Benjamin and Clausecker, Robert}, title = {CleanMaple}, series = {Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions}, booktitle = {Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions}, pages = {24}, language = {en} } @article{PolichtMittenzweyDogadovetal., author = {Policht, Veronica R. and Mittenzwey, Henry and Dogadov, Oleg and Katzer, Manuel and Villa, Andrea and Li, Qiuyang and Kaiser, Benjamin and Ross, Aaron M. and Scotognella, Francesco and Zhu, Xiaoyang and Knorr, Andreas and Selig, Malte and Cerullo, Giulio and Dal Conte, Stefano}, title = {Time-domain observation of interlayer exciton formation and thermalization in a MoSe2/WSe2 heterostructure}, series = {Nature Communications}, volume = {14}, journal = {Nature Communications}, publisher = {Springer Nature}, doi = {10.1038/s41467-023-42915-x}, pages = {1 -- 9}, abstract = {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.}, language = {en} } @inproceedings{KaiserClauseckerMavroskoufis, author = {Kaiser, Benjamin and Clausecker, Robert and Mavroskoufis, Michael}, title = {Prioritised Unit Propagation by Partitioning the Watch Lists}, series = {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)}, volume = {3545}, booktitle = {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)}, publisher = {CEUR Workshop Proceedings}, pages = {14 -- 34}, abstract = {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.}, language = {en} }