Buchumschlag

SAT Strikes Back: Parameter and Path Relations in Quantum Toolchains

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Schmidbauer, Lukas, Mauerer, Wolfgang
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Quantum Physics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

It's Quick to be Square: Fast Quadratisation for Quantum Toolchains
von: Schmidbauer, Lukas, et al.
Veröffentlicht: (2024)

Polynomial Reduction Methods and their Impact on QAOA Circuits
von: Schmidbauer, Lukas, et al.
Veröffentlicht: (2024)

Towards Quantum Software for Quantum Simulation
von: Franz, Maja, et al.
Veröffentlicht: (2025)

Path Matters: Industrial Data Meet Quantum Optimization
von: Schmidbauer, Lukas, et al.
Veröffentlicht: (2025)

QEF: Reproducible and Exploratory Quantum Software Experiments
von: Gierisch, Vincent, et al.
Veröffentlicht: (2025)

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

Predict and Conquer: Navigating Algorithm Trade-offs with Quantum Design Automation
von: Thelen, Simon, et al.
Veröffentlicht: (2025)

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

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

A Toolbox to Understand the Physics of Quantum Data Management
von: Mauerer, Wolfgang, et al.
Veröffentlicht: (2026)

Towards System-Level Quantum-Accelerator Integration
von: Ramsauer, Ralf, et al.
Veröffentlicht: (2025)

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

Approximating under the Influence of Quantum Noise and Compute Power
von: Thelen, Simon, et al.
Veröffentlicht: (2024)

Going off Pattern? QAOA Parameter Heuristics and Potentials of Parsimony
von: Eichenseher, Vincent, et al.
Veröffentlicht: (2025)

Towards View-based Development of Quantum Software
von: Ammermann, Joshua, et al.
Veröffentlicht: (2024)

Beyond Gates: Pulse Level Quantum Fourier Models
von: Strobl, Melvin, et al.
Veröffentlicht: (2026)

Toolchain for Faster Iterations in Quantum Software Development
von: Kinanen, Otso, et al.
Veröffentlicht: (2025)

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

QML Essentials -- A framework for working with Quantum Fourier Models
von: Strobl, Melvin, et al.
Veröffentlicht: (2025)

Hype or Heuristic? Quantum Reinforcement Learning for Join Order Optimisation
von: Franz, Maja, et al.
Veröffentlicht: (2024)

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

Quantum k-SAT Related Hypergraph Problems
von: Kremer, Simon-Luca, et al.
Veröffentlicht: (2025)

Software Between Quantum and Machine Learning -- And Down to Pulses
von: Franz, Maja, et al.
Veröffentlicht: (2026)

Out of Tune: Demystifying Noise-Effects on Quantum Fourier Models
von: Franz, Maja, et al.
Veröffentlicht: (2025)

QCEDA: Using Quantum Computers for EDA
von: Jung, Matthias, et al.
Veröffentlicht: (2024)

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

Toolchain for shuttling trapped-ion qubits in segmented traps
von: Conta, Andreas, et al.
Veröffentlicht: (2026)

Quokka#: Quantum Computing with #SAT
von: Mei, Jingyi, et al.
Veröffentlicht: (2026)

Quantangle-SAT: A Quantum SAT Solver Based on Entanglement and Equivalence Checking
von: Lin, Shang-Wei, et al.
Veröffentlicht: (2026)

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

Reducing Quantum Circuit Synthesis to #SAT
von: Zak, Dekel, et al.
Veröffentlicht: (2025)

QCE'24 Tutorial: Quantum Annealing -- Emerging Exploration for Database Optimization
von: Nayak, Nitin, et al.
Veröffentlicht: (2024)

Stacking the Odds: Full-Stack Quantum System Design Space Exploration
von: Safi, Hila, et al.
Veröffentlicht: (2025)

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

Quantum Approximate Optimisation for Not-All-Equal SAT
von: El-Kadi, Andrew, et al.
Veröffentlicht: (2024)

Quantum Parameter Estimation Uncertainty Relation
von: Hu, Bing-Shu, et al.
Veröffentlicht: (2025)

Decoding quantum color codes with MaxSAT
von: Berent, Lucas, et al.
Veröffentlicht: (2023)

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

Grover-QAOA for 3-SAT: Quadratic Speedup, Fair-Sampling, and Parameter Clustering
von: Zhang, Zewen, et al.
Veröffentlicht: (2024)

From Hope to Heuristic: Realistic Runtime Estimates for Quantum Optimisation in NHEP
von: Franz, Maja, et al.
Veröffentlicht: (2025)