Browsing by Subject solver
Showing results 1 to 1 of 1
Preview | Issue Date | Title | Author(s) |
---|---|---|---|
2014 | Исследование субэкспоненциального алгоритма SAT- задач | Пархоменко, Александр Александрович; Parkhomenko, O.O. |
Preview | Issue Date | Title | Author(s) |
---|---|---|---|
2014 | Исследование субэкспоненциального алгоритма SAT- задач | Пархоменко, Александр Александрович; Parkhomenko, O.O. |