MAX-SAT: дерандомизация/Задачи — различия между версиями

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

Текущая версия на 22:14, 13 июня 2011