ScaffCC
From MaRDI portal
Software:33456
swMATH21654MaRDI QIDQ33456FDOQ33456
Author name not available (Why is that?)
Source code repository: https://github.com/epiqc/ScaffCC
Cited In (9)
- A framework for quantum-classical cryptographic translation
- Reachability analysis of quantum Markov decision processes
- Performing fully parallel constraint logic programming on a quantum annealer
- Deterministic algorithms for compiling quantum circuits with recurrent patterns
- Sized Types for Low-Level Quantum Metaprogramming
- Evaluating ESOP Optimization Methods in Quantum Compilation Flows
- Hierarchical system mapping for large-scale fault-tolerant quantum computing
- REVS: a tool for space-optimized reversible circuit synthesis
- Toward automatic verification of quantum programs
This page was built for software: ScaffCC
