Теорема Бен-Сассона и Вигдерсона о связи ширины и размера древовидного и обычного резолюционного доказательства.

Нижняя оценка для графового принципа Дирихле. Следствие для обычного принципа Дирихле.

Текущая версия конспекта тут: https://logic.pdmi.ras.ru/~dmitrits/nsu/pc.pdf