Cover Image

The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wille, Robert, Berent, Lucas, Forster, Tobias, Kunasaikaran, Jagatheesan, Mato, Kevin, Peham, Tom, Quetschlich, Nils, Rovara, Damian, Sander, Aaron, Schmid, Ludwig, Schönberger, Daniel, Stade, Yannick, Burgholzer, Lukas
Format:	Preprint
Published:	2024
Subjects:	Quantum Physics Emerging Technologies
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Framework for the Design and Realization of Alternative Superconducting Quantum Architectures
by: Kunasaikaran, Jagatheesan, et al.
Published: (2023)

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)

Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes
by: Peham, Tom, et al.
Published: (2024)

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

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

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)

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

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)

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

Towards Equivalence Checking of Classical Circuits Using Quantum Computing
by: Quetschlich, Nils, et al.
Published: (2024)

Optimizing Fault-tolerant Cat State Preparation
by: Peham, Tom, et al.
Published: (2026)

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

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

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

Synthesis and Optimization of Encoding Circuits for Fault-Tolerant Quantum Computation
by: Peham, Tom, et al.
Published: (2026)

Routing-Aware Placement for Zoned Neutral Atom-based Quantum Computing
by: Stade, Yannick, et al.
Published: (2025)

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

A Predictive Approach for Selecting the Best Quantum Solver for an Optimization Problem
by: Volpe, Deborah, et al.
Published: (2024)

Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers
by: Volpe, Deborah, et al.
Published: (2024)

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

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability
by: Schmid, Ludwig, et al.
Published: (2025)

Lattice Surgery Compilation Beyond the Surface Code
by: Herzog, Laura S., et al.
Published: (2025)

Exploiting Movable Logical Qubits for Lattice Surgery Compilation
by: Herzog, Laura S., et al.
Published: (2025)

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

Quantum Hardware-Efficient Selection of Auxiliary Variables for QUBO Formulations
by: Rovara, Damian, et al.
Published: (2025)

A Framework for Debugging 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)

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

Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors: Connecting Tool Developers and Hardware Experts
by: Schmid, Ludwig, et al.
Published: (2023)

Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware
by: Staudacher, Korbinian, et al.
Published: (2024)

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

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

Tackling the Challenges of Adding Pulse-level Support to a Heterogeneous HPCQC Software Stack: MQSS Pulse
by: Echavarria, Jorge, et al.
Published: (2025)

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

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

Quantum Circuit Optimization for the Fault-Tolerance Era: Do We Have to Start from Scratch?
by: Forster, Tobias, et al.
Published: (2025)