MAX-SAT: дерандомизация/Задачи/ex-derand-maxsat-f0-f1 — различия между версиями
Материал из DISCOPAL
<
MAX-SAT: дерандомизация
|
Задачи
Перейти к:
навигация
,
поиск
Категория
:
Решенные задачи
Версия 17:37, 20 декабря 2012
(
просмотреть исходный код
)
StasFomin
(
обсуждение
|
вклад
)
Следующая правка →
(нет различий)
Версия 17:37, 20 декабря 2012
Категория
:
Решенные задачи
Навигация
Просмотры
Статья
Обсуждение
Просмотр
История
Обновить
Персональные инструменты
18.226.94.15
Обсуждение для этого IP-адреса
Создать учётную запись
Войти
Навигация
Заглавная страница
Текущие события
Свежие правки
Случайная статья
Справка
Поиск
Инструменты
Ссылки сюда
Связанные правки
Спецстраницы
Версия для печати
Постоянная ссылка
Сведения о странице
Чистый HTML
→M$WORD
→OOffice