Title: Short Proofs are Hard to Find
Speaker: Toniann Pitassi, University of Toronto
Date: Wednesday, November 29, 2017 11:00am-12:00pm
Location: CoRE Bldg, Room 301, Rutgers University, Busch Campus, Piscataway, NJ
Abstract:
Joint work with Ian Mertz and Yuanhao Wei
See: https://sites.google.com/view/dimacs-theory-seminar/home