research
∙
05/17/2018
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
In the present paper we describe the technology for translating algorith...
share
research
∙
07/04/2016
