29.09.2015 OBDD SAT-солверы (Александр Кноп)

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