Kaiser, Benjamin
Refine
Document Type
- In Proceedings (6)
- Article (1)
Language
- English (7)
Has Fulltext
- no (7)
Is part of the Bibliography
- no (7)
Institute
Sliding Tile Puzzles
(2021)
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.
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.
CleanMaple
(2021)
PauSat
(2020)