research
∙
02/13/2023
Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum Circuit Simulation
Classically simulating quantum circuits is crucial when developing or te...
share
research
∙
01/10/2023
The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus
Quantum computers promise to efficiently solve important problems classi...
research
∙
12/12/2022
SyReC Synthesizer: An MQT tool for synthesis of reversible circuits
Reversible circuits form the backbone for many promising emerging techno...
research
∙
12/08/2022
Compiler Optimization for Quantum Computing Using Reinforcement Learning
Any quantum computing application, once encoded as a quantum circuit, mu...
research
∙
10/21/2022
Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms
Variational quantum algorithms have been introduced as a promising class...
research
∙
10/17/2022
On Optimal Subarchitectures for Quantum Circuit Mapping
Compiling a high-level quantum circuit down to a low-level description t...
research
∙
09/02/2022
Software Tools for Decoding Quantum Low-Density Parity Check Codes
Quantum Error Correction (QEC) is an essential field of research towards...
research
∙
03/01/2022
Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond
Satisfiability Testing (SAT) techniques are well-established in classica...
research
∙
03/15/2021
Efficient Construction of Functional Representations for Quantum Algorithms
Due to the significant progress made in the implementation of quantum ha...
research
∙
12/03/2020