Browsing by Author Butenko, Vladimir Mikhaylovich
Showing results 1 to 1 of 1
| Preview | Issue Date | Title | Author(s) |
|---|---|---|---|
| 2013 | Algorithm of Sub Exponential Complexity for the SAT Problem Solution | Listrovoy, Sergey Vladimirovich; Butenko, Vladimir Mikhaylovich |