Proof Complexity Modulo the Polynomial Hierarchy: Understanding Alternation as a Source of Hardness

07.12.2017 16:00 - 18:00

Hubie Chen (Univ. of the Basque Country, Spain)

Location:

KGRC, lecture room, Währinger Str. 25, 1090 Wien