Cover Image

A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem

Fuente: arXiv

Saved in:

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

Similar Items

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

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)

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)

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

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

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

Utilizing Resource Estimation for the Development of Quantum Computing Applications
by: Quetschlich, Nils, et al.
Published: (2024)

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

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

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

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

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

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

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

Quantum Hardware-Efficient Selection of Auxiliary Variables for QUBO Formulations
by: Rovara, Damian, 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)

Improving Figures of Merit for Quantum Circuit Compilation
by: Hopf, Patrick, et al.
Published: (2025)

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

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

Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers
by: Stade, Yannick, 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)

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

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

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

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

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

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

The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
by: Wille, Robert, 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)

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

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

Quantum Optimization Methods for Satellite Mission Planning
by: Makarov, Antón, et al.
Published: (2024)

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)

Combined Classical and Quantum Accelerometers For the Next Generation of Satellite Gravity Missions
by: HosseiniArani, Alireza, et al.
Published: (2024)

A Hybrid Quantum-Classical Approach to the Electric Mobility Problem
by: Veshchezerova, Margarita, et al.
Published: (2023)

An experience-based classification of quantum bugs in quantum software
by: Quetschlich, Nils, et al.
Published: (2025)