MAX-SAT: дерандомизация/Задачи/ex-derand-maxsat-f0-f1
Материал из DISCOPAL
<
MAX-SAT: дерандомизация
|
Задачи
Версия от 10:19, 24 декабря 2014;
StasFomin
(
обсуждение
|
вклад
)
(
разн.
)
← Предыдущая
|
Текущая версия
(
разн.
) |
Следующая →
(
разн.
)
Перейти к:
навигация
,
поиск
Категория
:
Решенные задачи
Ссылки сюда (8) →
[
Иерархический вид
]
Комментарии
(нет элементов)
Войдите
, чтобы комментировать.
Категория
:
Решенные задачи
Навигация
Просмотры
Статья
Обсуждение
Просмотр
История
Обновить
Персональные инструменты
3.15.1.36
Обсуждение для этого IP-адреса
Создать учётную запись
Войти
Навигация
Заглавная страница
Текущие события
Свежие правки
Случайная статья
Справка
Поиск
Инструменты
Ссылки сюда
Связанные правки
Спецстраницы
Версия для печати
Постоянная ссылка
Сведения о странице
Чистый HTML
→M$WORD
→OOffice
[ Иерархический вид ]Комментарии
Войдите, чтобы комментировать.