Пятница 21.01. Д. М. Ицыксон (ПОМИ РАН): "Нижние оценки и вопросы оптимальности для систем доказательств"

Speaker: 
Д. М. Ицыксон (ПОМИ РАН)
Date: 
Friday, January 21, 2022 - 13:00
Place: 
Zoom
Abstract: 

В докладе будет дан обзор результатов докладчика на следующие темы:

(1) сложность вывода в системах доказательств, основанных на OBDD;
(2) сложность вывода цейтинских формул в зависимости от древесной ширины графа;
(3) нижние оценки на сложность вывода в подсистемах системы Res(+) (резолюция над дизъюнкциями линейных равенств по модулю 2); 
(4) оптимальные эвристические и вероятностные аксепторы.

Подключиться к докладу можно по ссылке: https://zoom.us/j/95294301096?pwd=dXJXOWtqcjVZcy9qdXZZUTNFRjl0UT09