TY  - RPRT
TI  - Scalable verification of quantum algorithm circuits.
AU  - Sarovar, Mohan
AU  - Proctor, Timothy
AU  - Seritan, Stefan
AU  - Nielsen, Erik
AU  - Rudinger, Kenneth
AU  - Young, Kevin
AU  - Blume-Kohout, Robin
PY  - 2022
DO  - 10.2172/2001926
UR  - https://www.osti.gov/biblio/2001926
ID  - 2001926
ER  -