Обсуждение:Полиномиальный в среднем алгоритм для SAT — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(создана автоматически викилогом)
 
(нет различий)

Текущая версия на 18:45, 24 ноября 2016