Work

Using Hoare logic for quantum circuit optimization.

Year: 2018

Type: preprint

Source: arXiv (Cornell University)

Authors: Thomas Häner, Torsten Hoefler, Matthias Troyer

Language: English

Topic: Quantum Computing Algorithms and Architecture

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2893586709

Cites: 32

Cited by: 3

Related to: 10