Lukas Burgholzer

Quantum, July, 2023

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

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2023

Dataset containing raw threshold and runtime simulation data for a paper evaluation on decoding quantum color codes.

[BibT_eX]

[DOI]

Lucas Berent

Peter-Jan H. S. Derks

Jens Eisert

Dataset, March, 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

Predicting Good Quantum Circuit Compilation Options.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Quantum Software, 2023

Recommending Solution Paths for Solving Optimization Problems with Quantum Computing.

[BibT_eX]

[DOI]

Jeanette Miriam Lorenz

Proceedings of the IEEE International Conference on Quantum Software, 2023

Towards Hamiltonian Simulation with Decision Diagrams.

[BibT_eX]

[DOI]

Aaron Sander

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

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

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

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

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

MQT QMAP: Efficient Quantum Circuit Mapping.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Symposium on Physical Design, 2023

Towards an Automated Framework for Realizing Quantum Computing Solutions.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic, 2023

Compiler Optimization for Quantum Computing Using Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

A SAT Encoding for Optimal Clifford Circuit Synthesis.

[BibT_eX]

[DOI]

Sarah Schneider

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

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

[BibT_eX]

[DOI]

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

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

[BibT_eX]

[DOI]

Lucas Berent

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

2022

SyReC Synthesizer: An MQT tool for synthesis of reversible circuits.

[BibT_eX]

[DOI]

Softw. Impacts, December, 2022

Equivalence Checking of Quantum Circuits With the ZX-Calculus.

[BibT_eX]

[DOI]

IEEE J. Emerg. Sel. Topics Circuits Syst., 2022

On Optimal Subarchitectures for Quantum Circuit Mapping.

[BibT_eX]

[DOI]

CoRR, 2022

Simulation Paths for Quantum Circuit Simulation with Decision Diagrams.

[BibT_eX]

[DOI]

CoRR, 2022

Characteristics of reversible circuits for error detection.

[BibT_eX]

[DOI]

Richard Kueng

Array, 2022

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

[BibT_eX]

[DOI]

Lucas Berent

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

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

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 14th International Conference, 2022

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

[BibT_eX]

[DOI]

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

The basis of design tools for quantum computing: arrays, decision diagrams, tensor networks, and ZX-calculus.

[BibT_eX]

[DOI]

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

Equivalence checking paradigms in quantum circuit design: a case study.

[BibT_eX]

[DOI]

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

Handling non-unitaries in quantum circuit equivalence checking.

[BibT_eX]

[DOI]

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

Limiting the Search Space in Optimal Quantum Circuit Mapping.

[BibT_eX]

[DOI]

Sarah Schneider

Proceedings of the 27th Asia and South Pacific Design Automation Conference, 2022

2021

Advanced Equivalence Checking for Quantum Circuits.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021

QCEC: A JKQ tool for quantum circuit equivalence checking.

[BibT_eX]

[DOI]

Softw. Impacts, 2021

Towards Verification of Dynamic Quantum Circuits.

[BibT_eX]

[DOI]

CoRR, 2021

Efficient Construction of Functional Representations for Quantum Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 13th International Conference, 2021

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

[BibT_eX]

[DOI]

Hartwig Bauer

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2021

Visualizing Decision Diagrams for Quantum Computing (Special Session Summary).

[BibT_eX]

[DOI]

Michael Artner

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Random Stimuli Generation for the Verification of Quantum Circuits.

[BibT_eX]

[DOI]

Richard Kueng

Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021

2020

Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow.

[BibT_eX]

[DOI]

Rudy Raymond

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2020

Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020

Efficient and Correct Compilation of Quantum Circuits.

[BibT_eX]

[DOI]

Stefan Hillmich

Proceedings of the IEEE International Symposium on Circuits and Systems, 2020

JKQ: JKU Tools for Quantum Computing.

[BibT_eX]

[DOI]

Stefan Hillmich

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

The Power of Simulation for Equivalence Checking in Quantum Computing.

[BibT_eX]

[DOI]

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

Improved DD-based Equivalence Checking of Quantum Circuits.

[BibT_eX]

[DOI]

Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

2019

Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations.

[BibT_eX]

[DOI]