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

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000800300
  Electronic modeling  Б - 2018  /     Issue (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].

 

Institute of Information Technologies of VNLU

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209