Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Реферативна база даних - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
| Знайдено в інших БД: | Наукова періодика України (1) |
Пошуковий запит: (<.>AT=Листровой Метод решения k-SAT-задачи сведением$<.>) | |||
|
Загальна кількість знайдених документів : 1 |
|||
| 1. | Листровой С. В. Метод решения k-SAT-задачи сведением ее к задаче о покрытии / С. В. Листровой, А. В. Сидоренко // Электрон. моделирование. - 2015. - 37, № 5. - С. 17-37. - Библиогр.: 4 назв. - рус. Предложен алгоритм решения k-SAT-задачи в среднем за полиномиальное время и 3-SAT-задачи за полиномиальное время. Предлагаемый метод позволяет существенно сократить время решения SAT-задач. Індекс рубрикатора НБУВ: В192.1 Рубрики: Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ  Повний текст Наукова періодика України
| ||
 |
| Відділ інформаційно-комунікаційних технологій |
 Пам`ятка користувача |