A verified optimizer for Quantum circuits
Keyword(s):
2014 ◽
Vol 16
(9)
◽
pp. 093026
◽
Keyword(s):
Keyword(s):