Design Automation for Quantum Computing

Informations projet

DA QC

N° de convention de subvention: 101001318

DOI 10.3030/101001318

Date de signature de la CE 11 Février 2021

Date de début 1 Juillet 2021

Date de fin 30 Juin 2026

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total € 1 979 552,00

Contribution de l’UE € 1 979 552,00

Coordonné par

TECHNISCHE UNIVERSITAET MUENCHEN
Allemagne

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Actes de conférence (46)

QDMI - Quantum Device Management Interface: Hardware-Software Interface for the Munich Quantum Software Stack

Auteurs: Robert Wille, Ludwig Schmid, Yannick Stade, Jorge Echavarria, Martin Schulz, Laura Schulz, Lukas Burgholzer
Publié dans: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Page(s) 573-574
Éditeur: IEEE
DOI: 10.1109/qce60285.2024.10411

An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures

Auteurs: Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille
Publié dans: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Page(s) 784-795
Éditeur: IEEE
DOI: 10.1109/qce60285.2024.00098

Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond

Auteurs: Lucas Berent, Lukas Burgholzer, Robert Wille
Publié dans: International Conference on Theory and Applications of Satisfiability Testing (SAT), 2022
Éditeur: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.sat.2022.18

Efficient Implementation of LIMDDs for Quantum Circuit Simulation

Auteurs: Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille, Alfons Laarman
Publié dans: Model Checking Software: 29th International Symposium, 2023
Éditeur: ACM
DOI: 10.1007/978-3-031-32157-3_1

Software Tools for Decoding Quantum Low-Density Parity-Check Codes

Auteurs: Lucas Berent; Lukas Burgholzer; Robert Wille
Publié dans: Asia and South Pacific Design Automation Conference, 2023
Éditeur: IEEE
DOI: 10.1145/3566097.3567934

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

Auteurs: Robert Wille, Lucas Berent, Tobias Forster, Jagatheesan Kunasaikaran, Kevin Mato, Tom Peham, Nils Quetschlich, Damian Rovara, Aaron Sander, Ludwig Schmid, Daniel Schönberger, Yannick Stade, Lukas Burgholzer
Publié dans: 2024 IEEE International Conference on Quantum Software (QSW), 2024, Page(s) 1-8
Éditeur: IEEE
DOI: 10.1109/qsw62656.2024.00013

Compilation of Entangling Gates for High-Dimensional Quantum Systems

Auteurs: Mato, Kevin; Ringbauer, Martin; Hillmich, Stefan; Wille, Robert
Publié dans: Asia and South Pacific Design Automation Conference, 2023
Éditeur: IEEE
DOI: 10.1145/3566097.3567930

Hybrid Circuit Mapping: Leveraging the Full Spectrum of Computational Capabilities of Neutral Atom Quantum Computers

Auteurs: Ludwig Schmid, Sunghye Park, Robert Wille
Publié dans: Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024, Page(s) 1-6
Éditeur: ACM
DOI: 10.1145/3649329.3655959

Verifying the Compilation of Variational Quantum Algorithms

Auteurs: Tom Peham; Lukas Burgholzer; Robert Wille
Publié dans: Asia and South Pacific Design Automation Conference, 2023
Éditeur: IEEE
DOI: 10.1145/3566097.3567932

A Predictive Approach for Selecting the Best Quantum Solver for an Optimization Problem

Auteurs: Deborah Volpe, Nils Quetschlich, Mariagrazia Graziano, Giovanna Turvani, Robert Wille
Publié dans: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Page(s) 1014-1025
Éditeur: IEEE
DOI: 10.1109/qce60285.2024.00121

Adaptive Compilation of Multi-Level Quantum Operations

Auteurs: Kevin Mato, Martin Ringbauer, Stefan Hillmich, Robert Wille
Publié dans: International Conference on Quantum Computing and Engineering (QCE), 2022
Éditeur: IEEE
DOI: 10.1109/qce53715.2022.00070

Stripping Quantum Decision Diagrams of their Identity

Auteurs: Aaron Sander, Ioan-Albert Florea, Lukas Burgholzer, Robert Wille
Publié dans: 2024 IEEE International Conference on Quantum Software (QSW), 2024, Page(s) 168-174
Éditeur: IEEE
DOI: 10.1109/qsw62656.2024.00032

Mixed-Dimensional Qudit State Preparation Using Edge-Weighted Decision Diagrams

Auteurs: Kevin Mato, Stefan Hillmich, Robert Wille
Publié dans: Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024, Page(s) 1-6
Éditeur: ACM
DOI: 10.1145/3649329.3656260

Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think

Auteurs: Stefan Hillmich, Lukas Burgholzer, Florian Stögmüller, Robert Wille
Publié dans: Reversible Computation (RC), 2022
Éditeur: Springer-Verlag
DOI: 10.1007/978-3-031-09005-9_7

Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams

Auteurs: Lukas Burgholzer, Alexander Ploier, Robert Wille
Publié dans: Design Automation and Test in Europe (DATE), 2022
Éditeur: IEEE
DOI: 10.48550/arxiv.2203.00703

Towards Hamiltonian Simulation with Decision Diagrams

Auteurs: Aaron Sander, Lukas Burgholzer, Robert Wille
Publié dans: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), 2024, Page(s) 283-294
Éditeur: IEEE
DOI: 10.1109/qce57702.2023.00039

Towards Application-Aware Quantum Circuit Compilation

Auteurs: Nils Quetschlich, Florian J. Kiwit, Maximilian A. Wolf, Carlos A. Riofrio, Lukas Burgholzer, Andre Luckow, Robert Wille
Publié dans: 2024 IEEE International Conference on Quantum Software (QSW), 2024, Page(s) 135-142
Éditeur: IEEE
DOI: 10.1109/qsw62656.2024.00028

Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams

Auteurs: Lukas Burgholzer, Hartwig Bauer, Robert Wille
Publié dans: IEEE International Conference on Quantum Computing and Engineering (QCE), 2021
Éditeur: IEEE
DOI: 10.48550/arxiv.2105.07045

Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers

Auteurs: Deborah Volpe, Nils Quetschlich, Mariagrazia Graziano, Giovanna Turvani, Robert Wille
Publié dans: 2024 IEEE International Conference on Quantum Software (QSW), 2024, Page(s) 46-57
Éditeur: IEEE
DOI: 10.1109/qsw62656.2024.00019

Compiler Optimization for Quantum Computing Using Reinforcement Learning

Auteurs: Quetschlich, Nils; Burgholzer, Lukas; Wille, Robert
Publié dans: Design Automation Conference, 2023
Éditeur: IEEE
DOI: 10.1109/dac56929.2023.10248002

Towards Cycle-based Shuttling for Trapped-Ion Quantum Computers (Extended Abstract)

Auteurs: Daniel Schoenberger, Stefan Hillmich, Matthias Brandl, Robert Wille
Publié dans: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024, Page(s) 1-2
Éditeur: IEEE
DOI: 10.23919/date58400.2024.10546506

Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers

Auteurs: Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer
Publié dans: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), 2024, Page(s) 802-813
Éditeur: IEEE
DOI: 10.1109/qce57702.2023.00095

Mixed-Dimensional Quantum Circuit Simulation with Decision Diagrams

Auteurs: Kevin Mato, Stefan Hillmich, Robert Wille
Publié dans: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), 2023, Page(s) 978-989
Éditeur: IEEE
DOI: 10.1109/qce57702.2023.00112

Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences

Auteurs: Lukas Burgholzer, Robert Wille
Publié dans: Asia and South Pacific Design Automation Conference, 2023
Éditeur: IEEE
DOI: 10.1145/3566097.3567914

Towards Equivalence Checking of Classical Circuits Using Quantum Computing

Auteurs: Nils Quetschlich, Tobias V. Forster, Adrian Osterwind, Domenik Helms, Robert Wille
Publié dans: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Page(s) 268-274
Éditeur: IEEE
DOI: 10.1109/qce60285.2024.00040

Equivalence checking paradigms in quantum circuit design

Auteurs: Tom Peham, Lukas Burgholzer, Robert Wille
Publié dans: 2022
Éditeur: IEEE
DOI: 10.48550/arxiv.2004.08420

The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus

Auteurs:  R. Wille, L. Burgholzer, S. Hillmich, T. Grurl, A. Ploier, T. Peham
Publié dans: Design Automation Conference (DAC), 2022
Éditeur: IEEE

RCGP: An Automatic Synthesis Framework for Reversible Quantum-Flux-Parametron Logic Circuits based on Efficient Cartesian Genetic Programming

Auteurs: Rongliang Fu, Robert Wille, Tsung-Yi Ho
Publié dans: Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024, Page(s) 1-6
Éditeur: ACM
DOI: 10.1145/3649329.3655950

Towards an Automated Framework for Realizing Quantum Computing Solutions

Auteurs: Nils Quetschlich, Lukas Burgholzer, Robert Wille
Publié dans: International Symposium on Multiple-Valued Logic (ISMVL), 2023
Éditeur: IEEE
DOI: 10.1109/ismvl57333.2023.00035

Automatic Implementation and Evaluation of Error-Correcting Codes for Quantum Computing: An Open-Source Framework for Quantum Error Correction

Auteurs: Grurl, Thomas; Pichler, Christoph; Fuß, Jürgen; Wille, Robert
Publié dans: International Conference on VLSI Design, 2023, ISBN 979-8-3503-4678-7
Éditeur: IEEE
DOI: 10.1109/vlsid57277.2023.00068

Lessons Learnt in the Implementation of Quantum Circuit Simulation Using Decision Diagrams

Auteurs: Thomas Grurl; Jurgen Fub; Robert Wille
Publié dans: ISMVL, Numéro 1, 2021
Éditeur: IEEE
DOI: 10.1109/ismvl51352.2021.00024

Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers

Auteurs: Daniel Schoenberger, Stefan Hillmich, Matthias Brandl, Robert Wille
Publié dans: 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC), 2024, Page(s) 127-133
Éditeur: IEEE
DOI: 10.1109/asp-dac58780.2024.10473902

MQT QMAP: Efficient Quantum Circuit Mapping

Auteurs: Wille, Robert; Burgholzer, Lukas
Publié dans: International Symposium on Physical Design, 2023
Éditeur: ACM
DOI: 10.1145/3569052.3578928

A SAT Encoding for Optimal Clifford Circuit Synthesis

Auteurs: Sarah Schneider; Lukas Burgholzer; Robert Wille
Publié dans: Asia and South Pacific Design Automation Conference, 2023
Éditeur: IEEE
DOI: 10.1145/3566097.3567929

Utilizing Resource Estimation for the Development of Quantum Computing Applications

Auteurs: Nils Quetschlich, Mathias Soeken, Prakash Murali, Robert Wille
Publié dans: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Page(s) 232-238
Éditeur: IEEE
DOI: 10.1109/qce60285.2024.00036

Efficient Construction of Functional Representations for Quantum Algorithms

Auteurs: Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille
Publié dans: 13th International Conference on Reversible Computation (RC), 2021
Éditeur: Springer
DOI: 10.48550/arxiv.2103.08281

Limiting the Search Space in Optimal Quantum Circuit Mapping

Auteurs: Lukas Burgholzer, Sarah Schneider, Robert Wille
Publié dans: 27th Asia and South Pacific Design Automation Conference, 2022
Éditeur: IEEE
DOI: 10.48550/arxiv.2112.00045

Compression of Qubit Circuits: Mapping to Mixed-Dimensional Quantum Systems

Auteurs: Kevin Mato, Stefan Hillmich, Robert Wille
Publié dans: IEEE International Conference on Quantum Software (QSW), 2023
Éditeur: IEEE
DOI: 10.1109/qsw59989.2023.00027

Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level

Auteurs: Nils Quetschlich, Lukas Burgholzer, Robert Wille
Publié dans: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), 2024, Page(s) 757-767
Éditeur: IEEE
DOI: 10.1109/qce57702.2023.00091

Optimized Density Matrix Representations : Improving the Basis for Noise-Aware Quantum Circuit Design Tools

Auteurs: Thomas Grurl, Jürgen Fuß, Robert Wille
Publié dans: International Symposium on Multiple-Valued Logic (ISMVL), 2023
Éditeur: IEEE
DOI: 10.1109/ismvl57333.2023.00036

Decision Diagrams for Quantum Measurements with Shallow Circuits

Auteurs: Stefan Hillmich, Charles Hadfield, Rudy Raymond, Antonio Mezzacapo, Robert Wille
Publié dans: IEEE International Conference on Quantum Computing and Engineering (QCE), 2021
Éditeur: IEEE
DOI: 10.48550/arxiv.2105.06932

Handling Non-Unitaries in Quantum Circuit Equivalence Checking

Auteurs: Lukas Burgholzer, Robert Wille
Publié dans: Design Automation Conference (DAC), 2022
Éditeur: IEEE

Using Compiler Frameworks for the Evaluation of Hardware Design Choices in Trapped-Ion Quantum Computers

Auteurs: Daniel Schoenberger, Stefan Hillmich, Matthias Brand, Robert Wille
Publié dans: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Page(s) 1102-1108
Éditeur: IEEE
DOI: 10.1109/qce60285.2024.00129

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

Auteurs: Nils Quetschlich, Vincent Koch, Lukas Burgholzer, Robert Wille
Publié dans: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), 2024, Page(s) 642-647
Éditeur: IEEE
DOI: 10.1109/qce57702.2023.00079

Introducing QRogue: Teaching Quantum Computing Using a Rogue-like Game Concept

Auteurs: Michael Artner; Guenter Wallner; Robert Wille
Publié dans: International Conference on the Foundations of Digital Games, 2023
Éditeur: ACM
DOI: 10.1145/3582437.3587177

Predicting Good Quantum Circuit Compilation Options

Auteurs: Nils Quetschlich, Lukas Burgholzer, Robert Wille
Publié dans: IEEE International Conference on Quantum Software (QSW), 2023
Éditeur: IEEE
DOI: 10.1109/qsw59989.2023.00015

Articles approuvés par les pairs (17)

Quantum k-community detection: algorithm proposals and cross-architectural evaluation

Auteurs: Felix G. Gemeinhardt, Robert Wille, Manuel Wimmer
Publié dans: Quantum Information Processing (2021), 2021, ISSN 0000-0000
Éditeur: Springer
DOI: 10.1007/s11128-021-03239-1

 Tools for Quantum Computing Based on Decision Diagrams

Auteurs: Robert Wille, Stefan Hillmich, Lukas Burgholzer
Publié dans: ACM Transactions on Quantum Computing, 2022, ISSN 0000-0000
Éditeur: ACM
DOI: 10.1145/3491246

Approximating Decision Diagrams for Quantum Circuit Simulation

Auteurs: Stefan Hillmich, Alwin Zulehner, Richard Kueng, Igor L. Markov, Robert Wille
Publié dans: ACM Transactions on Quantum Computing, 2022, ISSN 2643-6817
Éditeur: ACM
DOI: 10.1145/3530776

Analog Information Decoding of Bosonic Quantum Low-Density Parity-Check Codes

Auteurs: Lucas Berent, Timo Hillmann, Jens Eisert, Robert Wille, Joschka Roffe
Publié dans: PRX Quantum, Numéro 5, 2024, ISSN 2691-3399
Éditeur: American Physical Society
DOI: 10.1103/prxquantum.5.020349

Decoding quantum color codes with MaxSAT

Auteurs: Lucas Berent, Lukas Burgholzer, Peter-Jan H.S. Derks, Jens Eisert, Robert Wille
Publié dans: Quantum, Numéro 8, 2024, Page(s) 1506, ISSN 2521-327X
Éditeur: Verein zur Foerderung des Open Access Publizierens in den Quantenwissenschaften
DOI: 10.22331/q-2024-10-23-1506

MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing

Auteurs: Nils Quetschlich, Lukas Burgholzer, Robert Wille
Publié dans: Quantum, 2023, ISSN 2521-327X
Éditeur: Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften
DOI: 10.22331/q-2023-07-20-1062

Computational capabilities and compiler development for neutral atom quantum processors—connecting tool developers and hardware experts

Auteurs: Ludwig Schmid, David F Locher, Manuel Rispler, Sebastian Blatt, Johannes Zeiher, Markus Müller, Robert Wille
Publié dans: Quantum Science and Technology, Numéro 9, 2024, Page(s) 033001, ISSN 2058-9565
Éditeur: IOP Publishing
DOI: 10.1088/2058-9565/ad33ac

Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware

Auteurs: Korbinian Staudacher, Ludwig Schmid, Johannes Zeiher, Robert Wille, Dieter Kranzlmüller
Publié dans: Electronic Proceedings in Theoretical Computer Science, Numéro 406, 2024, Page(s) 96-116, ISSN 2075-2180
Éditeur: Open Publishing Association
DOI: 10.4204/eptcs.406.5

Shuttling for Scalable Trapped-Ion Quantum Computers

Auteurs: Daniel Schoenberger, Stefan Hillmich, Matthias Brandl, Robert Wille
Publié dans: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2024, Page(s) 1-1, ISSN 0278-0070
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tcad.2024.3513262

MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing

Auteurs: Nils Quetschlich, Lukas Burgholzer, Robert Wille
Publié dans: ACM Transactions on Quantum Computing, Numéro 6, 2025, Page(s) 1-26, ISSN 2643-6809
Éditeur: Association for Computing Machinery
DOI: 10.1145/3673241

Simulation Paths for Quantum Circuit Simulation With Decision Diagrams What to Learn From Tensor Networks, and What Not

Auteurs: Robert Wille; Lukas Burgholzer; Alexander Ploier
Publié dans: IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2022, ISSN 0000-0000
Éditeur: IEEE
DOI: 10.1109/tcad.2022.3197969

Equivalence Checking of Quantum Circuits With the ZX-Calculus

Auteurs: Robert Wille; Lukas Burgholzer; Tom Peham
Publié dans: Journal of Emerging and Selected Topics in Circuits and Systems (JETCAS), 2022, ISSN 2156-3365
Éditeur: IEEE
DOI: 10.1109/jetcas.2022.3202204

Characteristics of reversible circuits for error detection

Auteurs: Lukas Burgholzer, Robert Wille, Richard Kueng
Publié dans: Array, 2022, ISSN 0000-0000
Éditeur: Elsevier
DOI: 10.1016/j.array.2022.100165

On Optimal Subarchitectures for Quantum Circuit Mapping

Auteurs: Tom Peham, Lukas Burgholzer, Robert Wille
Publié dans: ACM Transactions on Quantum Computing, 2023, ISSN 2643-6817
Éditeur: ACM
DOI: 10.1145/3593594

SyReC Synthesizer: An MQT tool for synthesis of reversible circuits

Auteurs: Adarsh, Smaran; Burgholzer, Lukas; Manjunath, Tanmay; Wille, Robert
Publié dans: Software Impacts, 2022, ISSN 0000-0000
Éditeur: Elsevier
DOI: 10.1016/j.simpa.2022.100451

Noise-Aware Quantum Circuit Simulation With Decision Diagrams

Auteurs: Thomas Grurl; Jurgen Fus; Robert Wille
Publié dans: IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2022, ISSN 0000-0000
Éditeur: IEEE
DOI: 10.1109/tcad.2022.3182628

Quantum Low-Density Parity-Check Codes for Modular Architectures

Auteurs: Armands Strikis; Lucas Berent
Publié dans: PRX Quantum, Numéro 6, 2023, ISSN 0000-0000
Éditeur: APS
DOI: 10.1103/prxquantum.4.020321

Autres (9)

A Framework to Formulate Pathfinding Problems for Quantum Computing

Auteurs: Damian Rovara, Nils Quetschlich, Robert Wille
Publié dans: 2024
Éditeur: arxiv
DOI: 10.48550/arxiv.2404.10820

A Framework for Debugging Quantum Programs

Auteurs: Damian Rovara, Lukas Burgholzer, Robert Wille
Publié dans: 2024
Éditeur: arxiv
DOI: 10.48550/arxiv.2412.12269

Quantum Computer are coming! But how to use their potential?

Auteurs: Robert Wille
Publié dans: 2021
Éditeur: European Dissemination Media Agency

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability

Auteurs: Ludwig Schmid, Tom Peham, Lucas Berent, Markus Müller, Robert Wille
Publié dans: 2025
Éditeur: arxiv
DOI: 10.48550/arxiv.2501.05527

Improving Figures of Merit for Quantum Circuit Compilation

Auteurs: Patrick Hopf, Nils Quetschlich, Laura Schulz, Robert Wille
Publié dans: 2025
Éditeur: arxiv
DOI: 10.48550/arxiv.2501.13155

Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers

Auteurs: Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille
Publié dans: 2025
Éditeur: arxiv
DOI: 10.48550/arxiv.2411.09738

Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum Circuit Simulation

Auteurs: Burgholzer, Lukas; Ploier, Alexander; Wille, Robert
Publié dans: 2023
Éditeur: N/A
DOI: 10.48550/arxiv.2302.06616

Automatically Refining Assertions for Efficient Debugging of Quantum Programs

Auteurs: Damian Rovara, Lukas Burgholzer, Robert Wille
Publié dans: 2024
Éditeur: arxiv
DOI: 10.48550/arxiv.2412.14252

Design tools for quantum computing

Auteurs: Robert Wille
Publié dans: Open Access Government, 2022
Éditeur: Open Access Government

Chapitres d’ouvrage (1)

Decision Diagrams for Quantum Computing

Auteurs: Wille, Robert; Hillmich, Stefan; Burgholzer, Lukas
Publié dans: Design Automation of Quantum Computers, 2022
Éditeur: Springer
DOI: 10.1007/978-3-031-15699-1_1