Login / Signup
Tom Krüger
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 5
Top Topics
Boolean Satisfiability
Software Engineering
Commercial Off The Shelf
Sat Solving
Top Venues
CoRR
ICSE (Workshops)
QSW
</>
Publications
</>
Felix Greiwe
,
Tom Krüger
,
Wolfgang Mauerer
Effects of Imperfections on Quantum Algorithms: A Software Engineering Perspective.
QSW
(2023)
Felix Greiwe
,
Tom Krüger
,
Wolfgang Mauerer
Effects of Imperfections on Quantum Algorithms: A Software Engineering Perspective.
CoRR
(2023)
Tom Krüger
,
Jan-Hendrik Lorenz
,
Florian Wörz
Too much information: CDCL solvers need to forget and perform restarts.
CoRR
(2022)
Tom Krüger
,
Wolfgang Mauerer
Quantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving.
CoRR
(2020)
Tom Krüger
,
Wolfgang Mauerer
Quantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving.
ICSE (Workshops)
(2020)