Cover Image

Quantum Hardware-Efficient Selection of Auxiliary Variables for QUBO Formulations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Rovara, Damian, Burgholzer, Lukas, Wille, Robert
Format:	Preprint
Published:	2025
Subjects:	Quantum Physics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automatically Refining Assertions for Efficient Debugging of Quantum Programs
by: Rovara, Damian, et al.
Published: (2024)

A Framework for the Efficient Evaluation of Runtime Assertions on Quantum Computers
by: Rovara, Damian, et al.
Published: (2025)

A Framework for Debugging Quantum Programs
by: Rovara, Damian, et al.
Published: (2024)

Qubit Reuse Beyond Reorder and Reset: Optimizing Quantum Circuits by Fully Utilizing the Potential of Dynamic Circuits
by: Rovara, Damian, et al.
Published: (2025)

A Framework to Formulate Pathfinding Problems for Quantum Computing
by: Rovara, Damian, et al.
Published: (2024)

The MQT Compiler Collection: A Blueprint for a Future-Proof Quantum-Classical Compilation Framework
by: Burgholzer, Lukas, et al.
Published: (2026)

MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing
by: Quetschlich, Nils, et al.
Published: (2023)

Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level
by: Quetschlich, Nils, et al.
Published: (2023)

Predicting Good Quantum Circuit Compilation Options
by: Quetschlich, Nils, et al.
Published: (2022)

Towards an Automated Framework for Realizing Quantum Computing Solutions
by: Quetschlich, Nils, et al.
Published: (2022)

Towards Supporting QIR: Steps for Adopting the Quantum Intermediate Representation
by: Stade, Yannick, et al.
Published: (2024)

Integrating Quantum Software Tools with(in) MLIR
by: Hopf, Patrick, et al.
Published: (2026)

Compiler Optimization for Quantum Computing Using Reinforcement Learning
by: Quetschlich, Nils, et al.
Published: (2022)

A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem
by: Quetschlich, Nils, et al.
Published: (2023)

Standardizing Access to Heterogeneous Quantum Backends: A Case Study on Cloud Service Integration with QDMI
by: Hopf, Patrick, et al.
Published: (2026)

Search Smarter, Not Harder: A Scalable, High-Quality Zoned Neutral Atom Compiler
by: Stade, Yannick, et al.
Published: (2025)

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

Equivalence checking of quantum circuits via intermediary matrix product operator
by: Sander, Aaron, et al.
Published: (2024)

Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers
by: Stade, Yannick, et al.
Published: (2024)

An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures
by: Stade, Yannick, et al.
Published: (2024)

MQT Qudits: A Software Framework for Mixed-Dimensional Quantum Computing
by: Mato, Kevin, et al.
Published: (2024)

Stripping Quantum Decision Diagrams of their Identity
by: Sander, Aaron, et al.
Published: (2024)

Towards Hamiltonian Simulation with Decision Diagrams
by: Sander, Aaron, et al.
Published: (2023)

Joint Cutting for Hybrid Schrödinger-Feynman Simulation of Quantum Circuits
by: Herzog, Laura S., et al.
Published: (2025)

Automatic De-Quantization of Quantum Programs Using Constant Propagation
by: Remme, Lian, et al.
Published: (2026)

The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
by: Wille, Robert, et al.
Published: (2024)

The Munich Quantum Software Stack: Connecting End Users, Integrating Diverse Quantum Technologies, Accelerating HPC
by: Burgholzer, Lukas, et al.
Published: (2025)

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

Forward and Backward Constrained Bisimulations for Quantum Circuits using Decision Diagrams
by: Burgholzer, Lukas, et al.
Published: (2023)

A Simple QUBO Formulation of Sudoku
by: Mücke, Sascha
Published: (2024)

Towards Application-Aware Quantum Circuit Compilation
by: Quetschlich, Nils, et al.
Published: (2024)

The Steiner Tree Problem: Novel QUBO Formulation and Quantum Annealing Implementation
by: Li, Dan, et al.
Published: (2026)

Practical HPCQC Integration with QDMI: A Real-Hardware Case Study with IQM Systems
by: Burgholzer, Lukas, et al.
Published: (2026)

QUBO Refinement: Achieving Superior Precision through Iterative Quantum Formulation with Limited Qubits
by: Lee, Hyunju, et al.
Published: (2024)

Improving Hardware Requirements for Fault-Tolerant Quantum Computing by Optimizing Error Budget Distributions
by: Forster, Tobias, et al.
Published: (2025)

Scoring-based Static Variable Ordering for Decision Diagram-based Quantum Circuit Simulation
by: Kimura, Yusuke, et al.
Published: (2025)

QUBO Formulations for Variation of Domination Problem
by: Pan, Haoqian, et al.
Published: (2024)

Alternating ZX Circuit Extraction for Hardware-Adaptive Compilation
by: Schmid, Ludwig, et al.
Published: (2026)

Two-Step QAOA: Enhancing Quantum Optimization by Decomposing K-hot Constraints in QUBO Formulations
by: Minato, Yuichiro
Published: (2024)

Sparse QUBO Formulation for Efficient Embedding via Network-Based Decomposition of Equality and Inequality Constraints
by: Suda, Kohei, et al.
Published: (2026)