Exhaustive Search for Quantum Circuit Optimization Using ZX Calculus

Communications in computer and information science 2026

View at publisher

Authors: Tobias Fischbach, P. Talbot, Pascal Bouvry

DOI: 10.1007/978-3-032-13589-6_18

Cited by: 0

References: 37

Fields of Study & Subjects

Quantum Computing Algorithms and Architecture Formal Methods in Verification Logic programming and type systems

References 37