17.11.2015 Алгоритмы для #CircuitSAT и нижние оценки на размер схем (Александр Смаль)

Будет рассказана связь алгоритмов для решения задачи $\#CircuitSAT$ (вычислить количество выполняющих наборов для булевой схемы) и нижних оценок на размер булевых схем.