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