11 citations · 16 across the 6 of their papers we have counts for
3 papers · 1 filter
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…