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…