[Proof Complexity] J. Krajicek and S. de Rezende talks - 50 Years of SAT workshop

Sam Buss sbuss at ucsd.edu
Wed Mar 24 05:32:59 CET 2021

The Simons Institute 50 Years of Satisfiability Workshop talks this week
are on Thursday, March 25, 8:30am-10:30am Pacific Time. Speakers are:

*** Jan Krajicek,  "Information efficiency of proof systems"


*** Susanna de Rezende, "Proofs and circuits: Connections via interpolation
and lifting"

URL: https://zoom.us/j/97023701859

More information about the Proof-Complexity mailing list