06.10.2015 Нижние оценки на размер OBDD (Людмила Глинских)

Будут доказаны нижние оценки на размер упорядоченных бинарных диаграмм решений для некоторых функций.