Artifact virtual machine for "A Verified Optimizer for Quantum Circuits." Paper available at https://arxiv.org/pdf/1912.02250.pdf. See https://github.com/inQWIRE/SQIR/tree/POPL2021 for information on running our tool
Add links to Zenodo (this version corresponds to v1.2.4 on Zenodo) and minor fixes
Software is a critical factor in the reliability of computer systems. While the development of hardw...
In the current noisy intermediate-scale quantum (NISQ) era, quantum machine learning is emerging as ...
This software artifact includes the source code for QUESO (a tool for synthesizing quantum-circuit o...
Quartz is a quantum circuit optimizer that automatically generates and verifies circuit transformati...
We present a method for optimizing quantum circuits architecture, based on the notion of a quantum c...
A visual editor for quantum algorithms. The source code repository can be found here: https://githu...
First, the problem is defined at a high-level and based on the nature of the problem a suitable quan...
A quantum bit\u27s ability to be in a superposition of 0 and 1 solves many problems that were otherw...
In this work the author present a method for optimizing quantum circuits architecture, based on the ...
Quantum computing is a promising technology that unlocks new computational frontiers by leveraging t...
This artifact supports the experimental evalution for the CAV'23 submission named "AutoQ: An Automat...
A cross-platform software framework for scalably assessing and optimizing the capabilities of noisy ...
A quantum computer (QC) is a device that performs operations according to the rules of quantum theor...
Add links to Zenodo (this version corresponds to v1.2.4 on Zenodo) and minor fixes
Software is a critical factor in the reliability of computer systems. While the development of hardw...
In the current noisy intermediate-scale quantum (NISQ) era, quantum machine learning is emerging as ...
This software artifact includes the source code for QUESO (a tool for synthesizing quantum-circuit o...
Quartz is a quantum circuit optimizer that automatically generates and verifies circuit transformati...
We present a method for optimizing quantum circuits architecture, based on the notion of a quantum c...
A visual editor for quantum algorithms. The source code repository can be found here: https://githu...
First, the problem is defined at a high-level and based on the nature of the problem a suitable quan...
A quantum bit\u27s ability to be in a superposition of 0 and 1 solves many problems that were otherw...
In this work the author present a method for optimizing quantum circuits architecture, based on the ...
Quantum computing is a promising technology that unlocks new computational frontiers by leveraging t...
This artifact supports the experimental evalution for the CAV'23 submission named "AutoQ: An Automat...
A cross-platform software framework for scalably assessing and optimizing the capabilities of noisy ...
A quantum computer (QC) is a device that performs operations according to the rules of quantum theor...
Add links to Zenodo (this version corresponds to v1.2.4 on Zenodo) and minor fixes
Software is a critical factor in the reliability of computer systems. While the development of hardw...
In the current noisy intermediate-scale quantum (NISQ) era, quantum machine learning is emerging as ...
DOI
Add to ORKG