Участник:Павел Дидин/задача о модификации 3-КНФ

Материал из DISCOPAL
< Участник:Павел Дидин
Версия от 02:12, 6 марта 2021; Павел Дидин (обсуждение | вклад) (Новая страница: «<latex> Останется ли $3-SAT$ полной, если ограничиться формулами, в которых каждая переменная…»)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск