21 citations · 25 across the 2 of their papers we have counts for
2 papers
cs.AI2016★ 21 cited
Encoding Cryptographic Functions to SAT Using Transalg System
Ilya Otpuschennikov, Alexander Semenov, Irina Gribanova +2
In this paper we propose the technology for constructing propositional encodings of discrete functions. It is aimed at solving inversion problems of considered functions using stat…
cs.DC2011★ 4 cited
Parallel algorithms for SAT in application to inversion problems of some discrete functions
Alexander Semenov, Oleg Zaikin, Dmitry Bespalov +1
In this article we consider the inversion problem for polynomially computable discrete functions. These functions describe behavior of many discrete systems and are used in model c…