Efficiently Verifying Quantum Programs with Few T Gates

Lecture notes in computer science 2026

View at publisher

Authors: Youngchan Cho, Robert Rand

DOI: 10.1007/978-3-032-15700-3_3

Cited by: 1

References: 12

Fields of Study & Subjects

Quantum Computing Algorithms and Architecture Complexity and Algorithms in Graphs Formal Methods in Verification

References 12