И. Близнец

Новый алгоритм для FormulaSAT и нижняя оценка Субботовской

Будет рассказана идея с помощью которой можно получить нижнюю оценку на размер формулы (Субботовская), а также использующаяся для доказательства оценки сверху на время работы алгоритма для FormulaSAT.