Страницы, ссылающиеся на «Задача выполнимости булевых формул»
Перейти к навигации
Перейти к поиску
Помните, что при определении статей-сирот учитываются не все ссылки, ведущие на статью. |
- Инструменты
- Количество ссылок
Следующие страницы ссылаются на «Задача выполнимости булевых формул»:
Показано 50 элементов.
- Задача коммивояжёра (← ссылки | править)
- BOINC (← ссылки | править)
- Латинский квадрат (← ссылки | править)
- NP-полная задача (← ссылки | править)
- Класс P (← ссылки | править)
- Класс NP (← ссылки | править)
- Задача о рюкзаке (← ссылки | править)
- Выполнимость (страница-перенаправление) (← ссылки | править)
- Вычислительная сложность (← ссылки | править)
- Теорема Кука — Левина (← ссылки | править)
- Задача об упаковке в контейнеры (← ссылки | править)
- Обобщённое судоку (← ссылки | править)
- Какуро (← ссылки | править)
- Задача SAT (страница-перенаправление) (← ссылки | править)
- Задача ВЫП (страница-перенаправление) (← ссылки | править)
- SAT (значения) (← ссылки | править)
- Конъюнктивная нормальная форма (← ссылки | править)
- Игра в 15 (← ссылки | править)
- Использование ДНК в технологии (← ссылки | править)
- NP-трудность (← ссылки | править)
- Временная сложность алгоритма (← ссылки | править)
- Задача о клике (← ссылки | править)
- Задача о независимом множестве (← ссылки | править)
- Задача о вершинном покрытии (← ссылки | править)
- Задача о покрытии множества (← ссылки | править)
- Кук, Стивен Артур (← ссылки | править)
- Обобщённая задача коммивояжёра (← ссылки | править)
- Теория алгоритмов (← ссылки | править)
- 3-SAT (страница-перенаправление) (← ссылки | править)
- 3SAT (страница-перенаправление) (← ссылки | править)
- Хорновский дизъюнкт (← ссылки | править)
- Задача выполнимости формул в теориях (← ссылки | править)
- DPLL (← ссылки | править)
- Список Карпа (← ссылки | править)
- 2011 год в науке (← ссылки | править)
- Задача Штейнера о минимальном дереве (← ссылки | править)
- Communications of the ACM (← ссылки | править)
- Разложение Шеннона (← ссылки | править)
- Бинарная диаграмма решений (← ссылки | править)
- Удовлетворение ограничений (← ссылки | править)
- SAT@home (← ссылки | править)
- Доминатор (теория графов) (← ссылки | править)
- Класс APX (← ссылки | править)
- Аппроксимационный алгоритм (← ссылки | править)
- Теорема PCP (← ссылки | править)
- Гирш, Эдуард Алексеевич (← ссылки | править)
- Веретено Мозера (← ссылки | править)
- Алгоритм CDCL (← ссылки | править)
- Булева проблема пифагоровых троек (← ссылки | править)
- Гипотеза Келлера (← ссылки | править)