| Что: | Лекция |
| Когда: | Вторник, 26 сентября 2017, 18:30–20:00 |
| Где: | ПОМИ РАН |
Ширина резолюционных доказательств. Связь ширины и размера для древовидных и обычных резолюционных доказательств. Цейтинские формулы, расширительная способность графа, нижние оценки.
