City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Лекция 11. Коммуникационная сложность и критическая блочная чувствительность
Propositional proof complexity

What: Lecture
When: Tuesday, 21 November 2017, 18:30–20:00
Where: ПОМИ РАН