Полиномиальный в среднем алгоритм для SAT/Задачи

Материал из DISCOPAL
< Полиномиальный в среднем алгоритм для SAT
Версия от 20:18, 30 ноября 2011; StasFomin (обсуждение | вклад) (Created page with ".")

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