Листровой С. В. Метод решения k-SAT-задачи сведением ее к задаче о покрытии / С. В. Листровой, А. В. Сидоренко // Электрон. моделирование. - 2015. - 37, № 5. - С. 17-37. - Библиогр.: 4 назв. - рус.
Предложен алгоритм решения k-SAT-задачи в среднем за полиномиальное время и 3-SAT-задачи за полиномиальное время. Предлагаемый метод позволяет существенно сократить время решения SAT-задач.
Шифр НБУВ: Ж14163Пошук видання у каталогах НБУВ Повний текст Наукова періодика УкраїниДодаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"