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

Практика 2.
Propositional proof complexity

What: Seminar
When: Tuesday, 19 September 2017, 20:20–21:50
Where: ПОМИ РАН

Description

Задание на 19 сентября в прикрепленном файле. На занятии мы будем обсуждать решения этих задач.

Attached files