On the construction of quantum circuits for S-boxes with different criteria based on the SAT solver. - Lin, Da; Yang, Chunli; Xu, Shengyuan; Tian, Shizhu; Sun, Bing (Quantum Information Processing, 2026)