62
правки
Изменения
м
→Источники информации
*[https://en.wikipedia.org/wiki/Boolean_satisfiability_problem Википедия — Boolean satisfiability problem]
* ''Cook, Stephen A.'' (1971). Proceedings of the 3rd Annual ACM Symposium on Theory of Computing: 151–158, 1971.
[[Категория: Дискретная математика и алгоритмы]]
[[Категория: Булевы функции ]]
