On the construction of quantum circuits for S-boxes with different criteria based on the SAT solver.
Da LinChunli YangShengyuan XuShizhu TianBing SunPublished in: IACR Cryptol. ePrint Arch. (2024)
Keyphrases
- sat solvers
- quantum computing
- s box
- logic circuits
- sat solving
- orders of magnitude
- search space
- sat problem
- sat instances
- boolean satisfiability
- propositional satisfiability
- constraint satisfaction
- max sat
- search strategies
- chaotic map
- chaotic sequence
- clause learning
- constraint solver
- boolean formula
- symmetry breaking
- integer linear programming
- data structure
- information retrieval