LECTURE AUDIO

September 17, 2014

Propositional Proof Complexity: A survey on the state of the art, including some recent results
Toniann Pitassi
University of Toronto

This web presentation contains the audio of a lecture given at the Fields Institute on June 22, 2011 as part of the 26th Annual IEEE Symposium on Logic in Computer Science.

Listen to audio presentation:

  • Directly in browser (supported in recent versions of Mozilla Firefox, Google Chrome, and others, but not yet in Microsoft Internet Explorer):

    Indirectly in browser, using the cortado java-based player:
    Java is not configured on your browser.
  • In an external player: