Игровая характеризация ширины резолционного доказательства. Оценка памяти нужной для реализации доказательства через ширину.

Система доказательств секущие плоскости (cutting planes). Моделирование резолюции, короткое доказательство принципа Дирихле.

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