Quantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving. - Tom Krüger; Wolfgang Mauerer (ICSE (Workshops), 2020)

Too much information: CDCL solvers need to forget and perform restarts. - Tom Krüger; Jan-Hendrik Lorenz; Florian Wörz (CoRR, 2022)

Effects of Imperfections on Quantum Algorithms: A Software Engineering Perspective. - Felix Greiwe; Tom Krüger; Wolfgang Mauerer (QSW, 2023)