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)

 Verwandte Links