Метод решения k-SAT-задачи сведением ее к задаче о покрытии

Листровой, С. В.; Сидоренко, А. В.


	Наукова періодика України		Електронне моделювання

Листровой С. В.
Метод решения k-SAT-задачи сведением ее к задаче о покрытии / С. В. Листровой, А. В. Сидоренко // Электронное моделирование. - 2015. - Т. 37, № 5. - С. 17-37. - Режим доступу: http://nbuv.gov.ua/UJRN/elmo_2015_37_5_4

Предложен алгоритм решения k-SAT-задачи в среднем за полиномиальное время и 3-SAT-задачи за полиномиальное время. Предлагаемый метод позволяет существенно сократить время решения SAT-задач.

Повний текст PDF - 164.57 Kb

Зміст випуску Google Scholar

Цитування публікації

Цитованість авторів публікації:

Листровой С.

Сидоренко А.

Бібліографічний опис для цитування:

Листровой С. В. Метод решения k-SAT-задачи сведением ее к задаче о покрытии / С. В. Листровой, А. В. Сидоренко // Электронное моделирование. - 2015. - Т. 37, № 5. - С. 17-37. - Режим доступу: http://nbuv.gov.ua/UJRN/elmo_2015_37_5_4.

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

Лістровий Сергій Володимирович (1950–2018) (технічні науки)

Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача