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

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

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