TY  - RPRT
TI  - Design automation and space-time reduction for surface-code logical operations using a SAT-based EDA kernel compatible with general encodings
AU  - Wang Liao
AU  - Rei Tokami
AU  - Yasunari Suzuki
PY  - 2026
UR  - https://arxiv.org/abs/2604.12560
ID  - 2604.12560
ER  -