Login / Signup
A SAT Scalpel for Lattice Surgery: Representation and Synthesis of Subroutines for Surface-Code Fault-Tolerant Quantum Computing.
Daniel Bochen Tan
Murphy Yuezhen Niu
Craig Gidney
Published in:
CoRR (2024)
Keyphrases
</>
fault tolerant
quantum computing
fault tolerance
distributed systems
logic synthesis
load balancing
quantum mechanics
mobile agent system
quantum evolutionary algorithm
state machine
databases
digital libraries
sat solvers
quantum inspired