Abstract: Boolean satisfiability (SAT), the first proven nondeterministic polynominal-complete problem, is crucial in dataintensive applications. Different applications have a wide spectrum of SAT ...
Abstract: Block cipher is used as an important technology to protect data confidentiality and user privacy in many fields such as machine learning and cloud storage. Vectorial Boolean functions often ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback