Presentation slides:
Sam Buss
On Extended Frege Proofs
On Occasion of Toni Pitassi's 60th Birthday
ToniCS Workshop
Simons Institute, Berkeley
March 28, 2023.
Download
talk slides.
Talk video available from the Simons Institute on YouTube.
Abstract: We give a tour of known results about the complexity of extended Frege proofs.