:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Schmidbauer, Lukas, Mauerer, Wolfgang
Format:	Preprint
Published:	2025
Subjects:	Quantum Physics
Online Access:	https://arxiv.org/abs/2505.22060
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

It's Quick to be Square: Fast Quadratisation for Quantum Toolchains
by: Schmidbauer, Lukas, et al.
Published: (2024)

Towards Quantum Software for Quantum Simulation
by: Franz, Maja, et al.
Published: (2025)

Polynomial Reduction Methods and their Impact on QAOA Circuits
by: Schmidbauer, Lukas, et al.
Published: (2024)

Path Matters: Industrial Data Meet Quantum Optimization
by: Schmidbauer, Lukas, et al.
Published: (2025)

QEF: Reproducible and Exploratory Quantum Software Experiments
by: Gierisch, Vincent, et al.
Published: (2025)

Geometric and Resource-Theoretic Characterisation of Non-Stabiliserness in Quantum Algorithms
by: Krüger, Tom, et al.
Published: (2025)

Predict and Conquer: Navigating Algorithm Trade-offs with Quantum Design Automation
by: Thelen, Simon, et al.
Published: (2025)

Out of the Loop: Structural Approximation of Optimisation Landscapes and non-Iterative Quantum Optimisation
by: Krüger, Tom, et al.
Published: (2024)

From Constraint to Code: DQI-Kit -- A Software Framework for Decoded Quantum Interferometry
by: Thelen, Simon, et al.
Published: (2026)

A Toolbox to Understand the Physics of Quantum Data Management
by: Mauerer, Wolfgang, et al.
Published: (2026)

Towards System-Level Quantum-Accelerator Integration
by: Ramsauer, Ralf, et al.
Published: (2025)

Claim against Measurement: Statistical Artefacts in Quantum Error Mitigation Benchmarks
by: Köster, Dominik, et al.
Published: (2026)

Approximating under the Influence of Quantum Noise and Compute Power
by: Thelen, Simon, et al.
Published: (2024)

Going off Pattern? QAOA Parameter Heuristics and Potentials of Parsimony
by: Eichenseher, Vincent, et al.
Published: (2025)

Towards View-based Development of Quantum Software
by: Ammermann, Joshua, et al.
Published: (2024)

Beyond Gates: Pulse Level Quantum Fourier Models
by: Strobl, Melvin, et al.
Published: (2026)

Make Some Noise! Measuring Noise Model Quality in Real-World Quantum Software
by: Maschek, Stefan Raimund, et al.
Published: (2025)

Hype or Heuristic? Quantum Reinforcement Learning for Join Order Optimisation
by: Franz, Maja, et al.
Published: (2024)

QML Essentials -- A framework for working with Quantum Fourier Models
by: Strobl, Melvin, et al.
Published: (2025)

Toolchain for Faster Iterations in Quantum Software Development
by: Kinanen, Otso, et al.
Published: (2025)

Guided-SPSA: Simultaneous Perturbation Stochastic Approximation assisted by the Parameter Shift Rule
by: Periyasamy, Maniraman, et al.
Published: (2024)

Software Between Quantum and Machine Learning -- And Down to Pulses
by: Franz, Maja, et al.
Published: (2026)

QCEDA: Using Quantum Computers for EDA
by: Jung, Matthias, et al.
Published: (2024)

Out of Tune: Demystifying Noise-Effects on Quantum Fourier Models
by: Franz, Maja, et al.
Published: (2025)

Quantum k-SAT Related Hypergraph Problems
by: Kremer, Simon-Luca, et al.
Published: (2025)

The PID Controller Strikes Back: Classical Controller Helps Mitigate Barren Plateaus in Noisy Variational Quantum Circuits
by: Yi, Zhehao, et al.
Published: (2025)

Stacking the Odds: Full-Stack Quantum System Design Space Exploration
by: Safi, Hila, et al.
Published: (2025)

QCE'24 Tutorial: Quantum Annealing -- Emerging Exploration for Database Optimization
by: Nayak, Nitin, et al.
Published: (2024)

Toolchain for shuttling trapped-ion qubits in segmented traps
by: Conta, Andreas, et al.
Published: (2026)

Quokka#: Quantum Computing with #SAT
by: Mei, Jingyi, et al.
Published: (2026)

CutReg: A loss regularizer for enhancing the scalability of QML via adaptive circuit cutting
by: Periyasamy, Maniraman, et al.
Published: (2025)

Versatile Cross-platform Compilation Toolchain for Schrödinger-style Quantum Circuit Simulation
by: Lu, Yuncheng, et al.
Published: (2025)

Quantangle-SAT: A Quantum SAT Solver Based on Entanglement and Equivalence Checking
by: Lin, Shang-Wei, et al.
Published: (2026)

Reducing Quantum Circuit Synthesis to #SAT
by: Zak, Dekel, et al.
Published: (2025)

From Hope to Heuristic: Realistic Runtime Estimates for Quantum Optimisation in NHEP
by: Franz, Maja, et al.
Published: (2025)

Decoding quantum color codes with MaxSAT
by: Berent, Lucas, et al.
Published: (2023)

Quantum Approximate Optimisation for Not-All-Equal SAT
by: El-Kadi, Andrew, et al.
Published: (2024)

A SAT Encoding for Optimal Clifford Circuit Synthesis
by: Schneider, Sarah, et al.
Published: (2022)

Q3SAT-GPT: A Generative Model for Discovering Quantum Circuits for the 3-SAT Problem
by: Ugale, Pratim, et al.
Published: (2026)

Grover-QAOA for 3-SAT: Quadratic Speedup, Fair-Sampling, and Parameter Clustering
by: Zhang, Zewen, et al.
Published: (2024)