Complexity Seminar

Seminar on Complexity Theory

Пятница, 6 декабря. "Succinct Interactive Proofs for Quantified Boolean Formulas"

Пятница, 6 декабря, ауд. 203. Начало в 17:00.

Докладчик: Александр Смаль.

Тема: Succinct Interactive Proofs for Quantified Boolean Formulas.

Syndicate content