A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages

POPL 2020

A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages

Sep 17, 2020
|
23 views
Details
Presenters: Kesha Hietala and Kartik Singhal Presented at PLanQC 2020 at POPL'20.

Comments
loading...