Fetching the paper…
Reading the bibliography…
Quantum software tools for a wide variety of design tasks on and across different levels of abstraction are crucial in order to eventually realize useful quantum applications.
“A fast quantum mechanical algorithm for database search”
Lov Grover · 1996
Earlier work this paper cites.
“Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer”
Peter Shor · 1999
Earlier work this paper cites.
““Non-identity check” is QMA-complete”
Dominik Janzing, Pawel Wocjan and Thomas Beth · 2005
Earlier work this paper cites.
“A Decision Diagram Package for Reversible and Quantum Circuit Simulation”
D Miller, Mitchell Thornton and David Goodman · 2006
Earlier work this paper cites.
“An XQDD-based verification method for quantum circuits”
S.-A. Wang, C.-Y. Lu, I-M. Tsai and S.-Y. Kuo · 2008
Earlier work this paper cites.
“RevLib: An Online Resource for Reversible Functions and Reversible Circuits” RevLib is available at http://www.revlib.org
R. Wille et al · 2008
Earlier work this paper cites.
“Fast Equivalence-Checking for Quantum Circuits”
S. Yamashita and I.. Markov · 2010
Earlier work this paper cites.
“Tensor Network Quantum Simulator With Step-Dependent Parallelization”, 2020
Danylo Lykov et al · 2012
Earlier work this paper cites.
“Quipper: A Scalable Quantum Programming Language”
Alexander. Green et al · 2013
Earlier work this paper cites.
“QMDDs: Efficient Quantum Function Representation and Manipulation”
Philipp Niemann et al · 2015
Earlier work this paper cites.
“Improved classical simulation of quantum circuits dominated by Clifford gates”
Sergey Bravyi and David Gosset · 2016
Earlier work this paper cites.
“A Practical Quantum Instruction Set Architecture”, 2016
Robert. Smith, Michael. Curtis and William. Zeng · 2016
Earlier work this paper cites.
“Open Quantum Assembly Language”, 2017
Andrew. Cross, Lev. Bishop, John. Smolin and Jay. Gambetta · 2017
Earlier work this paper cites.
“Advanced Simulation of Quantum Computations”
Alwin Zulehner and Robert Wille · 2018
Earlier work this paper cites.
“Massively parallel quantum computer simulator, eleven years later”
Hans De et al · 2018
Earlier work this paper cites.
“An efficient methodology for mapping quantum circuits to the IBM QX architectures”
Alwin Zulehner, Alexandru Paler and Robert Wille · 2018
Earlier work this paper cites.
“Qubit Allocation”
Marcos Siraichi, Vinícius dos Santos, Sylvain Collange and Fernando Pereira · 2018
Earlier work this paper cites.
“Mapping quantum circuits to IBM QX architectures using the minimal number of SWAP and H operations”
Robert Wille, Lukas Burgholzer and Alwin Zulehner · 2019
Earlier work this paper cites.
“Compiling SU(4) quantum circuits to IBM QX architectures”
Alwin Zulehner and Robert Wille · 2019
Earlier work this paper cites.
“Noise-adaptive compiler mappings for noisy intermediate-scale quantum computers”
Prakash Murali et al · 2019
Earlier work this paper cites.
“On the qubit routing problem”
Alexander Cowtan et al · 2019
Earlier work this paper cites.
“Tackling the qubit mapping problem for NISQ-era quantum devices”
Gushu Li, Yufei Ding and Yuan Xie · 2019
Earlier work this paper cites.
“A Quantum Computational Compiler and Design Tool for Technology-Specific Targets”
Kaitlin. Smith and Mitchell. Thornton · 2019
Earlier work this paper cites.
“A flexible high-performance simulator for verifying and benchmarking quantum circuits implemented on real hardware”
Benjamin Villalonga et al · 2019
Earlier work this paper cites.
“QuEST and High Performance Simulation of Quantum Computers”
Tyson Jones, Anna Brown, Ian Bush and Simon. Benjamin · 2019
Cited alongside, same era.
“Concurrency in DD-based quantum circuit simulation”
Stefan Hillmich, Alwin Zulehner and Robert Wille · 2020
Cited alongside, same era.
“Optimal layout synthesis for quantum computing”
Bochen Tan and Jason Cong · 2020
Cited alongside, same era.
“Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus”
Ross Duncan, Aleks Kissinger, Simon Perdrix and John van Wetering · 2020
Cited alongside, same era.
“Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow”
Lukas Burgholzer, Rudy Raymond and Robert Wille · 2020
Cited alongside, same era.
“Advanced equivalence checking for quantum circuits”
Lukas Burgholzer and Robert Wille · 2020
Cited alongside, same era.
“Giallar: Push-button verification for the Qiskit quantum compiler”
Runzhou Tao et al · 2022
Closest in time.
“Verification of Quantum Circuits”
Robert Wille and Lukas Burgholzer · 2022
Closest in time.
“SupermarQ: A Scalable Quantum Benchmark Suite”
Teague Tomesh et al · 2022
Closest in time.
“QASMBench: A Low-Level Quantum Benchmark Suite for NISQ Evaluation and Simulation”
Ang Li, Samuel Stein, Sriram Krishnamoorthy and James Ang · 2022
Closest in time.
“OpenQASM 3: A Broader and Deeper Quantum Assembly Language”
Andrew Cross et al · 2022
Closest in time.
“Noise-aware quantum circuit simulation with decision diagrams”
Thomas Grurl, Jurgen Fuß and Robert Wille · 2022
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
“Hybrid Schrödinger-Feynman simulation of quantum circuits with decision diagrams”
Lukas Burgholzer, Hartwig Bauer and Robert Wille · 2021
Cited alongside, same era.
“Tensor network circuit simulation at exascale”, 2021
John Brennan et al · 2021
Cited alongside, same era.
“Jet: Fast quantum circuit simulations with parallel task-based tensor-network contraction”, 2021
Trevor Vincent et al · 2021
Cited alongside, same era.
“Exploiting Quantum Teleportation in Quantum Circuit Mapping”
Stefan Hillmich, Alwin Zulehner and Robert Wille · 2021
Cited alongside, same era.
“Time-optimal qubit mapping”
Chi Zhang et al · 2021
Cited alongside, same era.
“Random stimuli generation for the verification of quantum circuits”
Lukas Burgholzer, Richard Kueng and Robert Wille · 2021
Cited alongside, same era.
“Pulse-level noisy quantum circuits with QuTiP”
Boxi Li et al · 2022
Closest in time.
“QUARK: A Framework for Quantum Computing Application Benchmarking”
Jernej Finžgar et al · 2022
Closest in time.
“Graph Partitioning Approach for Fast Quantum Circuit Simulation”
Jaekyung Im and Seokhyeong Kang · 2023
Closest in time.
“Predicting Good Quantum Circuit Compilation Options”
N. Quetschlich, L. Burgholzer and R. Wille · 2023
Closest in time.
“Compiler Optimization for Quantum Computing Using Reinforcement Learning”
N. Quetschlich, L. Burgholzer and R. Wille · 2023
Closest in time.
“Depth-optimal synthesis of Clifford circuits with SAT solvers”, 2023
Tom Peham et al · 2023
Closest in time.
“Optimal layout synthesis for quantum circuits as classical planning”, 2023
Irfansha Shaik and Jaco van Pol · 2023
Closest in time.
“Tackling the Qubit Mapping Problem with Permutation-Aware Synthesis”, 2023
Ji Liu et al · 2023
Closest in time.
“MQT QMAP: Efficient quantum circuit mapping”
Robert Wille and Lukas Burgholzer · 2023
Closest in time.
“Equivalence checking of parameterized quantum circuits: Verifying the compilation of variational quantum algorithms”
Tom Peham, Lukas Burgholzer and Robert Wille · 2023
Closest in time.
“An automata-based framework for verification and bug hunting in quantum circuits”
Yu-Fang Chen et al · 2023
Closest in time.
“A Robust Approach to Detecting Non-Equivalent Quantum Circuits Using Specially Designed Stimuli”
Hsiao-Lun Liu, Yi-Ting Li, Yung-Chih Chen and Chun-Yao Wang · 2023
Closest in time.
“Qiskit: An Open-source Framework for Quantum Computing”, 2023
Qiskit contributors · 2023
Closest in time.
“Application-Oriented Performance Benchmarks for Quantum Computing”
Thomas Lubinski et al · 2023
Closest in time.
“A software methodology for compiling quantum programs”
Thomas Häner, Damian. Steiger, Krysta Svore and Matthias Troyer · 2058
Closest in time.
“staq—A full-stack quantum processing toolkit”
Matthew Amy and Vlad Gheorghiu · 2058
Closest in time.
“t|ket⟩: a retargetable compiler for NISQ devices”
Seyon Sivarajah et al · 2058
Closest in time.