Short Proofs are Hard to Find
November 29, 2017, 11:00 AM - 12:00 PM
Location:
Conference Room 301
Rutgers University
CoRE Building
96 Frelinghuysen Road
Piscataway, NJ 08854
Toniann Pitassi, University of Toronto
This presentation describes joint work with Ian Mertz and Yuanhao Wei