Design automation and space-time reduction for surface-code logical operations using a SAT-based EDA kernel compatible with general encodings

Wang Liao, Rei Tokami, Yasunari Suzuki

Fault-tolerant quantum computers (FTQCs) based on surface codes and lattice surgery have been widely studied, and there is strong demand for a framework that can identify logical o…