Д. Соколов (АУ)

Нижняя оценка длины доказательств

Доклад по статье:
Edward A. Hirsch, Sergey I. Nikolenko. "Simulating Cutting Plane proofs with restricted degree of falsity by Resolution."

В докладе будет рассмотрено доказательство нижней оценки на размер доказательства в
системе Cutting Plane для языка тавтологий. Будет продемонстрировано моделирование Cutting Plane
при помощи резолюций для ограниченной "степени ошибочности" неравенств.