Полиномиальный в среднем алгоритм для SAT/Задачи — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Created page with ".") |
(нет различий)
|
Текущая версия на 17:18, 30 ноября 2011
.