MAX-SAT: дерандомизация

Материал из DISCOPAL
Версия от 02:50, 14 апреля 2016; StasFomin (обсуждение | вклад)

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