Пятница 21.01. Д. М. Ицыксон (ПОМИ РАН): "Нижние оценки и вопросы оптимальности для систем доказательств"
Докладчик:
Д. М. Ицыксон (ПОМИ РАН)
Дата:
Friday, January 21, 2022 - 13:00
Место:
Zoom
Аннотация:
В докладе будет дан обзор результатов докладчика на следующие темы:
(1) сложность вывода в системах доказательств, основанных на OBDD;
(2) сложность вывода цейтинских формул в зависимости от древесной ширины графа;
(3) нижние оценки на сложность вывода в подсистемах системы Res(+) (резолюция над дизъюнкциями линейных равенств по модулю 2);
(4) оптимальные эвристические и вероятностные аксепторы.
Подключиться к докладу можно по ссылке: https://zoom.us/j/95294301096?pwd=dXJXOWtqcjVZcy9qdXZZUTNFRjl0UT09