Similar Tracks
A SAT Scalpel for Lattice Surgery: Representation and Synthesis of Subroutines for Surface-Code FTQC
ZX-calculus
The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation - Razin A. Shaikh
ZX-calculus