Verified Optimization in a Quantum Intermediate Representation

Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
March 2019
Poster
Type
Poster
Publication
Workshop on Noisy Intermediate-Scale Quantum Technologies (NISQ 2020) Poster