Перегляд зібрання за групою - Автори Listrovoy, Sergey Vladimirovich
Результати 1 до 1 із 1
Попередній перегляд | Дата випуску | Назва | Автор(и) |
---|---|---|---|
2013 | Algorithm of Sub Exponential Complexity for the SAT Problem Solution | Listrovoy, Sergey Vladimirovich; Butenko, Vladimir Mikhaylovich |