{"id":"arxiv/2604.12560","url":"https://arxiv.org/abs/2604.12560","tags":["quant-ph","cs.ET"],"score":0,"title":"Design automation and space-time reduction for surface-code logical operations using a SAT-based EDA kernel compatible with general encodings","domain":"quant-ph","source":"arxiv","authors":["Wang Liao","Rei Tokami","Yasunari Suzuki"],"reviews":0,"subject":"quant-ph","summary":"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 operations with low space-time cost, verify their functionality and fault tolerance, and demonstrate their optimality within a given search space, much like electronic design automation (EDA) in classical circuit design. In this paper, we propose KOVAL-Q, an EDA kernel that verifies and optimizes surface-code logical operations by formulating them as a satisfiability (SAT) problem. Compared with existing SAT-based…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-04-14","reactions":{}}