24.11.2015 Нижние оценки на размер OBDD c фиксированным порядком (Людмила Глинских)

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