Noisy intermediate-scale quantum algorithms
A universal fault-tolerant quantum computer that can efficiently solve problems such as
integer factorization and unstructured database search requires millions of qubits with low …
integer factorization and unstructured database search requires millions of qubits with low …
Quantum software components and platforms: Overview and quality assessment
Quantum computing is the latest revolution in computing and will probably come to be seen
as an advance as important as the steam engine or the information society. In the last few …
as an advance as important as the steam engine or the information society. In the last few …
Advanced equivalence checking for quantum circuits
In the not-so-distant future, quantum computing will change the way we tackle certain
problems. It promises to dramatically speed-up many chemical, financial, cryptographical …
problems. It promises to dramatically speed-up many chemical, financial, cryptographical …
Equivalence checking of quantum circuits with the ZX-calculus
As state-of-the-art quantum computers are capable of running increasingly complex
algorithms, the need for automated methods to design and test potential applications rises …
algorithms, the need for automated methods to design and test potential applications rises …
Towards a SAT encoding for quantum circuits: A journey from classical circuits to Clifford circuits and beyond
L Berent, L Burgholzer, R Wille - ar**
Executing quantum circuits on currently available quantum computers requires compiling
them to a representation that conforms to all restrictions imposed by the targeted …
them to a representation that conforms to all restrictions imposed by the targeted …
Approximating decision diagrams for quantum circuit simulation
Quantum computers promise to solve important problems faster than conventional
computers ever could. Underneath is a fundamentally different computational primitive that …
computers ever could. Underneath is a fundamentally different computational primitive that …
Hybrid Schrödinger-Feynman simulation of quantum circuits with decision diagrams
Classical simulations of quantum computations are vital for the future development of this
emerging technology. To this end, decision diagrams have been proposed as a …
emerging technology. To this end, decision diagrams have been proposed as a …