Design Automation for Quantum Computing

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

Author(s): Lucas Berent, Lukas Burgholzer, Robert Wille
Published in: International Conference on Theory and Applications of Satisfiability Testing (SAT), 2022
Publisher: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.sat.2022.18

Efficient Implementation of LIMDDs for Quantum Circuit Simulation

Author(s): Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille, Alfons Laarman
Published in: Model Checking Software: 29th International Symposium, 2023
Publisher: ACM
DOI: 10.1007/978-3-031-32157-3_1

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

Author(s): Lucas Berent; Lukas Burgholzer; Robert Wille
Published in: Asia and South Pacific Design Automation Conference, 2023
Publisher: IEEE
DOI: 10.1145/3566097.3567934

Compilation of Entangling Gates for High-Dimensional Quantum Systems

Author(s): Mato, Kevin; Ringbauer, Martin; Hillmich, Stefan; Wille, Robert
Published in: Asia and South Pacific Design Automation Conference, 2023
Publisher: IEEE
DOI: 10.1145/3566097.3567930

Verifying the Compilation of Variational Quantum Algorithms

Author(s): Tom Peham; Lukas Burgholzer; Robert Wille
Published in: Asia and South Pacific Design Automation Conference, 2023
Publisher: IEEE
DOI: 10.1145/3566097.3567932

Adaptive Compilation of Multi-Level Quantum Operations

Author(s): Kevin Mato, Martin Ringbauer, Stefan Hillmich, Robert Wille
Published in: International Conference on Quantum Computing and Engineering (QCE), 2022
Publisher: IEEE
DOI: 10.1109/qce53715.2022.00070

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

Author(s): Stefan Hillmich, Lukas Burgholzer, Florian Stögmüller, Robert Wille
Published in: Reversible Computation (RC), 2022
Publisher: Springer-Verlag
DOI: 10.1007/978-3-031-09005-9_7

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

Author(s): Lukas Burgholzer, Alexander Ploier, Robert Wille
Published in: Design Automation and Test in Europe (DATE), 2022
Publisher: IEEE
DOI: 10.48550/arxiv.2203.00703

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

Author(s): Lukas Burgholzer, Hartwig Bauer, Robert Wille
Published in: IEEE International Conference on Quantum Computing and Engineering (QCE), 2021
Publisher: IEEE
DOI: 10.48550/arxiv.2105.07045

Compiler Optimization for Quantum Computing Using Reinforcement Learning

Author(s): Quetschlich, Nils; Burgholzer, Lukas; Wille, Robert
Published in: Design Automation Conference, 2023
Publisher: IEEE
DOI: 10.1109/dac56929.2023.10248002

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

Author(s): Lukas Burgholzer, Robert Wille
Published in: Asia and South Pacific Design Automation Conference, 2023
Publisher: IEEE
DOI: 10.1145/3566097.3567914

Equivalence checking paradigms in quantum circuit design

Author(s): Tom Peham, Lukas Burgholzer, Robert Wille
Published in: 2022
Publisher: IEEE
DOI: 10.48550/arxiv.2004.08420

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

Author(s): R. Wille, L. Burgholzer, S. Hillmich, T. Grurl, A. Ploier, T. Peham
Published in: Design Automation Conference (DAC), 2022
Publisher: IEEE

Towards an Automated Framework for Realizing Quantum Computing Solutions

Author(s): Nils Quetschlich, Lukas Burgholzer, Robert Wille
Published in: International Symposium on Multiple-Valued Logic (ISMVL), 2023
Publisher: 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

Author(s): Grurl, Thomas; Pichler, Christoph; Fuß, Jürgen; Wille, Robert
Published in: International Conference on VLSI Design, 2023, ISBN 979-8-3503-4678-7
Publisher: IEEE
DOI: 10.1109/vlsid57277.2023.00068

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

Author(s): Thomas Grurl; Jurgen Fub; Robert Wille
Published in: ISMVL, Issue 1, 2021
Publisher: IEEE
DOI: 10.1109/ismvl51352.2021.00024

MQT QMAP: Efficient Quantum Circuit Mapping

Author(s): Wille, Robert; Burgholzer, Lukas
Published in: International Symposium on Physical Design, 2023
Publisher: ACM
DOI: 10.1145/3569052.3578928

A SAT Encoding for Optimal Clifford Circuit Synthesis

Author(s): Sarah Schneider; Lukas Burgholzer; Robert Wille
Published in: Asia and South Pacific Design Automation Conference, 2023
Publisher: IEEE
DOI: 10.1145/3566097.3567929

Efficient Construction of Functional Representations for Quantum Algorithms

Author(s): Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille
Published in: 13th International Conference on Reversible Computation (RC), 2021
Publisher: Springer
DOI: 10.48550/arxiv.2103.08281

Limiting the Search Space in Optimal Quantum Circuit Mapping

Author(s): Lukas Burgholzer, Sarah Schneider, Robert Wille
Published in: 27th Asia and South Pacific Design Automation Conference, 2022
Publisher: IEEE
DOI: 10.48550/arxiv.2112.00045

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

Author(s): Kevin Mato, Stefan Hillmich, Robert Wille
Published in: IEEE International Conference on Quantum Software (QSW), 2023
Publisher: IEEE
DOI: 10.1109/qsw59989.2023.00027

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

Author(s): Thomas Grurl, Jürgen Fuß, Robert Wille
Published in: International Symposium on Multiple-Valued Logic (ISMVL), 2023
Publisher: IEEE
DOI: 10.1109/ismvl57333.2023.00036

Decision Diagrams for Quantum Measurements with Shallow Circuits

Author(s): Stefan Hillmich, Charles Hadfield, Rudy Raymond, Antonio Mezzacapo, Robert Wille
Published in: IEEE International Conference on Quantum Computing and Engineering (QCE), 2021
Publisher: IEEE
DOI: 10.48550/arxiv.2105.06932

Handling Non-Unitaries in Quantum Circuit Equivalence Checking

Author(s): Lukas Burgholzer, Robert Wille
Published in: Design Automation Conference (DAC), 2022
Publisher: IEEE

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

Author(s): Michael Artner; Guenter Wallner; Robert Wille
Published in: International Conference on the Foundations of Digital Games, 2023
Publisher: ACM
DOI: 10.1145/3582437.3587177

Predicting Good Quantum Circuit Compilation Options

Author(s): Nils Quetschlich, Lukas Burgholzer, Robert Wille
Published in: IEEE International Conference on Quantum Software (QSW), 2023
Publisher: IEEE
DOI: 10.1109/qsw59989.2023.00015

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

Author(s): Felix G. Gemeinhardt, Robert Wille, Manuel Wimmer
Published in: Quantum Information Processing (2021), 2021, ISSN 0000-0000
Publisher: Springer
DOI: 10.1007/s11128-021-03239-1

Tools for Quantum Computing Based on Decision Diagrams

Author(s): Robert Wille, Stefan Hillmich, Lukas Burgholzer
Published in: ACM Transactions on Quantum Computing, 2022, ISSN 0000-0000
Publisher: ACM
DOI: 10.1145/3491246

Approximating Decision Diagrams for Quantum Circuit Simulation

Author(s): Stefan Hillmich, Alwin Zulehner, Richard Kueng, Igor L. Markov, Robert Wille
Published in: ACM Transactions on Quantum Computing, 2022, ISSN 2643-6817
Publisher: ACM
DOI: 10.1145/3530776

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

Author(s): Nils Quetschlich, Lukas Burgholzer, Robert Wille
Published in: Quantum, 2023, ISSN 2521-327X
Publisher: Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften
DOI: 10.22331/q-2023-07-20-1062

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

Author(s): Robert Wille; Lukas Burgholzer; Alexander Ploier
Published in: IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2022, ISSN 0000-0000
Publisher: IEEE
DOI: 10.1109/tcad.2022.3197969

Equivalence Checking of Quantum Circuits With the ZX-Calculus

Author(s): Robert Wille; Lukas Burgholzer; Tom Peham
Published in: Journal of Emerging and Selected Topics in Circuits and Systems (JETCAS), 2022, ISSN 2156-3365
Publisher: IEEE
DOI: 10.1109/jetcas.2022.3202204

Characteristics of reversible circuits for error detection

Author(s): Lukas Burgholzer, Robert Wille, Richard Kueng
Published in: Array, 2022, ISSN 0000-0000
Publisher: Elsevier
DOI: 10.1016/j.array.2022.100165

On Optimal Subarchitectures for Quantum Circuit Mapping

Author(s): Tom Peham, Lukas Burgholzer, Robert Wille
Published in: ACM Transactions on Quantum Computing, 2023, ISSN 2643-6817
Publisher: ACM
DOI: 10.1145/3593594

SyReC Synthesizer: An MQT tool for synthesis of reversible circuits

Author(s): Adarsh, Smaran; Burgholzer, Lukas; Manjunath, Tanmay; Wille, Robert
Published in: Software Impacts, 2022, ISSN 0000-0000
Publisher: Elsevier
DOI: 10.1016/j.simpa.2022.100451

Noise-Aware Quantum Circuit Simulation With Decision Diagrams

Author(s): Thomas Grurl; Jurgen Fus; Robert Wille
Published in: IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2022, ISSN 0000-0000
Publisher: IEEE
DOI: 10.1109/tcad.2022.3182628

Quantum Low-Density Parity-Check Codes for Modular Architectures

Author(s): Armands Strikis; Lucas Berent
Published in: PRX Quantum, Issue 6, 2023, ISSN 0000-0000
Publisher: APS
DOI: 10.1103/prxquantum.4.020321

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

Author(s): Robert Wille
Published in: 2021
Publisher: European Dissemination Media Agency

Decoding quantum color codes with MaxSAT

Author(s): Berent, Lucas; Burgholzer, Lukas; Derks, Peter-Jan H. S.; Eisert, Jens; Wille, Robert
Published in: Issue 2, 2023
Publisher: N/A
DOI: 10.48550/arxiv.2303.14237

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

Author(s): Burgholzer, Lukas; Ploier, Alexander; Wille, Robert
Published in: 2023
Publisher: N/A
DOI: 10.48550/arxiv.2302.06616

Design tools for quantum computing

Author(s): Robert Wille
Published in: Open Access Government, 2022
Publisher: Open Access Government

Decision Diagrams for Quantum Computing

Author(s): Wille, Robert; Hillmich, Stefan; Burgholzer, Lukas
Published in: Design Automation of Quantum Computers, 2022
Publisher: Springer
DOI: 10.1007/978-3-031-15699-1_1

Publications

Share this page

Download