activity
20202026
most citedQuantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving

30 citations · 34 across the 5 of their papers we have counts for

collaborators

5 papers

quant-ph2026

Generative AI Beyond Tokens: Quantum Resource Consumption of IQP Circuits

Tom Krüger, Wolfgang Mauerer

Quantum generative modelling casts sampling as a generative task: a parametrised quantum circuit is trained such that sampling reproduces a target probability distribution. Instant…

quant-ph2024★ 3 cited

Out of the Loop: Structural Approximation of Optimisation Landscapes and non-Iterative Quantum Optimisation

Tom Krüger, Wolfgang Mauerer

The Quantum Approximate Optimisation Algorithm (QAOA) is a widely studied quantum-classical iterative heuristic for combinatorial optimisation. While QAOA targets problems in compl…

cs.ET2023

Effects of Imperfections on Quantum Algorithms: A Software Engineering Perspective

Felix Greiwe, Tom Krüger, Wolfgang Mauerer

Quantum computers promise considerable speedups over classical approaches, which has raised interest from many disciplines. Since any currently available implementations suffer fro…

cs.AI2022★ 1 cited

Too much information: why CDCL solvers need to forget learned clauses

Tom Krüger, Jan-Hendrik Lorenz, Florian Wörz

Conflict-driven clause learning (CDCL) is a remarkably successful paradigm for solving the satisfiability problem of propositional logic. Instead of a simple depth-first backtracki…

cs.ET2020★ 30 cited

Quantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving

Tom Krüger, Wolfgang Mauerer

Quantum computers have the potential of solving problems more efficiently than classical computers. While first commercial prototypes have become available, the performance of such…