Scalable verification of quantum algorithm circuits.

Sarovar, Mohan; Proctor, Timothy; Seritan, Stefan; Nielsen, Erik; Rudinger, Kenneth; Young, Kevin; Blume-Kohout, Robin

doi:10.2172/2001926

DOE OSTI · 2001926

Scalable verification of quantum algorithm circuits.

Sarovar, Mohan·Proctor, Timothy·Seritan, Stefan·Nielsen, Erik·Rudinger, Kenneth·Young, Kevin·Blume-Kohout, Robin

View original source ↗Read source document ↗Export metadata ↓

Abstract

Abstract not provided.

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Sarovar, Mohan, Proctor, Timothy, Seritan, Stefan, Nielsen, Erik, Rudinger, Kenneth, Young, Kevin, Blume-Kohout, Robin. 2022-03-01. Scalable verification of quantum algorithm circuits.. https://doi.org/10.2172/2001926

Cite the original work for its findings. Save a collection to share your selection of sources.