История

Maintenance script

rollbackEdits.php mass rollback

80.82.78.13

Нет описания правки

Peltorator

→‎Алгоритм решения

Songx

→‎Первый пример

85.173.24.214

Нет описания правки

85.173.24.214

Нет описания правки

85.173.24.214

Нет описания правки

176.59.15.115

→‎Алгоритм решения

Alex PKZDL

→‎Алгоритм решения

Alex PKZDL

→‎Алгоритм решения

GARiK Carrot

Нет описания правки

GARiK Carrot

Исправлены примечания

GARiK Carrot

→‎Второй пример: Исправлен tex

GARiK Carrot

Изменен порядок последних трех разделов.

GARiK Carrot

Нет описания правки

GARiK Carrot

Нет описания правки

GARiK Carrot

переименовал 2-SAT в 2SAT

GARiK Carrot

→‎Алгоритм решения

GARiK Carrot

Добавлены примеры решения 2-SAT

GARiK Carrot

Добавлено использование 2-SAT

GARiK Carrot

Временно убран пример. Исправлено вступление, алгоритм решения

GARiK Carrot

→‎Применение 2-SAT задач: Добавлен пример применения 2-SAT

GARiK Carrot

→‎Алгоритм Решения

GARiK Carrot

Добавлена расшифровка

GARiK Carrot

Добавлен алгоритм. Заменено "Определение" на "Задачу"

GARiK Carrot

→‎См. также: Переделано в интервики

GARiK Carrot

→‎Источники информации: Добавлена википедия

GARiK Carrot

Добавлены категории

GARiK Carrot

Добавлено применение 2-SAT. Добавлены новые ссылки

GARiK Carrot

Добавлен TEX. Добавлены ссылки на КНФ и 2-КНФ. Перенесено определение во вступление

Shersh

переименовал 2-SAT Выполнимость в 2-SAT: слишком длинное название

GARiK Carrot

Новая страница: «== 2-SAT Выполнимость == Рассмотрим функцию, записанную в виде 2-КНФ (КНФ Крома). <br> 2-SAT выполн...»