Изменения

Перейти к: навигация, поиск

2SAT

143 байта добавлено, 12:43, 2 декабря 2015

м

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

*[http://e-maxx.ru/algo/2_sat MAXimal :: algo :: Задача 2-SAT (2-CNF) ]

[[Категория: Дискретная математика и алгоритмы]]

[[Категория: Булевы функции ]]

24

правки

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/50096»