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.
[[Категория: Дискретная математика и алгоритмы]]
[[Категория: Булевы функции ]]
