Treffer: A Verified Optimizer for Quantum Circuits.
Title:
A Verified Optimizer for Quantum Circuits.
Authors:
HIETALA, KESHA1 khieta@amazon.com, RAND, ROBERT2 mwh@cs.umd.edu, LIYI LI1 rand@uchicago.edu, SHIH-HAN HUNG3 liyili2@umd.edu, XIAODI WU1 xwu@cs.umd.edu, HICKS, MICHAEL1 shung@cs.utexas.edu
Source:
ACM Transactions on Programming Languages & Systems. Sep2023, Vol. 45 Issue 3, p1-35. 35p.
Database:
Business Source Ultimate