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]

Authors

Da Lin

This author has not been identified. Look up 'Da Lin' in Google

Chunli Yang

This author has not been identified. Look up 'Chunli Yang' in Google

Shengyuan Xu

This author has not been identified. Look up 'Shengyuan Xu' in Google

Shizhu Tian

This author has not been identified. Look up 'Shizhu Tian' in Google

Bing Sun 0001

This author has not been identified. Look up 'Bing Sun 0001' in Google