6 papers
Know Your Qubits, Know Your Users: Personas for Quantum Software
Lukas Schmidbauer, Joshua Ammermann, Laura Schulz +5
The advancement of quantum hardware and the intricacies of quantum computing make well-designed quantum software increasingly necessary. Due to the interdisciplinarity of the field…
Towards Tensor-Network SAT-Solvers for Quantum-Classical Workflows
Benjamin Zec, Lukas Schmidbauer, Maja Franz +1
Integrated HPC/QC systems aim to combine classical high-performance computing with quantum processors, but cannot be reduced to mechanisms for dispatching quantum kernels. An integ…
It's Quick to be Square: Fast Quadratisation for Quantum Toolchains
Lukas Schmidbauer, Elisabeth Lobe, Ina Schaefer +1
Many of the envisioned use-cases for quantum computers involve optimisation processes. While there are many algorithmic primitives to perform the required calculations, all eventua…
Towards Quantum Software for Quantum Simulation
Maja Franz, Lukas Schmidbauer, Joshua Ammermann +2
Quantum simulation is a leading candidate for demonstrating practical quantum advantage over classical computation, as it is believed to provide exponentially more compute power th…
SAT Strikes Back: Parameter and Path Relations in Quantum Toolchains
Lukas Schmidbauer, Wolfgang Mauerer
In the foreseeable future, toolchains for quantum computing should offer automatic means of transforming a high level problem formulation down to a hardware executable form. Thereb…
Path Matters: Industrial Data Meet Quantum Optimization
Lukas Schmidbauer, Carlos A. RiofrÃo, Florian Heinrich +4
Real-world optimization problems must undergo a series of transformations before becoming solvable on current quantum hardware. Even for a fixed problem, the number of possible tra…