Вклад участника

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

GARiK Carrot

18 января 2016

16 января 2016

10 декабря 2015

2SAT
Временно убран пример. Исправлено вступление, алгоритм решения
13:33
-7395

9 декабря 2015

3 декабря 2015

2 декабря 2015

30 ноября 2015

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

19 ноября 2015

18 ноября 2015

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

Навигация