activity
20242026
most citedA SAT Scalpel for Lattice Surgery: Representation and Synthesis of Subroutines for Surface-Code Fault-Tolerant Quantum Computing

10 citations · 11 across the 3 of their papers we have counts for

collaborators

4 papers