Метод решения k-SAT-задачи сведением ее к задаче о покрытии / Листровой С. В., Сидоренко А. В. (2015)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000800300
  Электронное моделирование  Б - 2018  /     Випуск (2015, Т. 37, № 5)

Листровой С. В., Сидоренко А. В.
Метод решения k-SAT-задачи сведением ее к задаче о покрытии

Бібліографічний опис:
Листровой С. В., Сидоренко А. В. Метод решения k-SAT-задачи сведением ее к задаче о покрытии. Электронное моделирование. 2015. Т. 37, № 5. С. 17-37. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000800300

English  Electronic modeling   /     Issue (2015, 37 (5))

Listrovoj S. V., Sidorenko A. V.
Methods of solution to the k-SAT-problem is based on its reduction to the problem of covering

Cite:
Listrovoj, S. V., Sidorenko, A. V. (2015). Methods of solution to the k-SAT-problem is based on its reduction to the problem of covering. Electronic modeling, 37 (5), 17-37. http://jnas.nbuv.gov.ua/article/UJRN-0000800300 [In Russian].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна