Lukas Schmidbauer
YOU?
Author Swipe
View article: SAT Strikes Back: Parameter and Path Relations in Quantum Toolchains
SAT Strikes Back: Parameter and Path Relations in Quantum Toolchains Open
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. Thereby, it is crucial to find (multiple) transformation paths th…
View article: Path Matters: Industrial Data Meet Quantum Optimization
Path Matters: Industrial Data Meet Quantum Optimization Open
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 transformation paths -- from industry-relevant formulations th…
View article: It's Quick to be Square: Fast Quadratisation for Quantum Toolchains
It's Quick to be Square: Fast Quadratisation for Quantum Toolchains Open
Many of the envisioned use-cases for quantum computers involve optimisation processes. While there are many algorithmic primitives to perform the required calculations, all eventually lead to quantum gates operating on quantum bits, with a…
View article: Polynomial Reduction Methods and their Impact on QAOA Circuits
Polynomial Reduction Methods and their Impact on QAOA Circuits Open
ion layers are of paramount importance in software architecture, as\nthey shield the higher-level formulation of payload computations from\nlower-level details. Since quantum computing (QC) introduces many such details\nthat are often unac…