research
∙
03/22/2021
Approximate Equivalence Checking of Noisy Quantum Circuits
We study the fundamental design automation problem of equivalence checki...
research
∙
09/06/2020