IBM
A SAT Scalpel for Lattice Surgery: Representation and
A SAT Scalpel for Lattice Surgery: Representation and Synthesis of Subroutines for Surface-Code FTQC
#SAT #Scalpel #Lattice #Surgery #Representation
“UCLA VAST”
This talk covers the paper in the title which is published in ISCA’24.
Roughly, there are 3 parts: 30min high-level introduction, 1hr technical details, and 30min code base demo.
arXiv of the paper:
Slides:…
source
To see the full content, share this page by clicking one of the buttons below |
