On the construction of quantum circuits for S-boxes with different criteria based on the SAT solver

Da Lin, Chunli Yang, Shengyuan Xu, Shizhu Tian, Bing Sun 0001. On the construction of quantum circuits for S-boxes with different criteria based on the SAT solver. Quantum Information Processing, 25(2):39, February 2026. [doi]

Abstract

Abstract is missing.