Fall, 2002

** Students should consult this page at least once a week
for important information. **

** Lectures: ** Thursday 10-12 Walberg 119

** Instructor: ** Toniann Pitassi, email: toni@cs

Office: Sandford Fleming 2305A, 978-3695

Office Hours: by appointment

**
HOMEWORK
**

** PAPERS AND OTHER REFERENCES **

- Notes from Beame's IAS Lectures
- Cook's notes on the sequent calculus (PK)
- Beame and Pitassi survey article
- Notes from Buss's McGill Lectures
- Buss's paper on proof theory
- Ben-Sasson and Wigderson paper on resolution
- Beame-Karp-Pitassi-Saks paper on resolution
- Aleknovich, Buss, Moran, Pitassi paper on minimum proof length problem
- Aleknovich, Razborov paper on nonautomatizability of Resolution
- Pudlak, paper on Cutting Planes lower bounds
- Buss, Clote paper on Cutting Planes
- Bonet, Pitassi, Raz paper on Interpolation and Automatization
- Beame's Switching Lemma Primer
- Fu and Urquhart's paper
- Maciel, Pitassi and Woods paper on the WPHP

** SCRIBE NOTES
**

**
***NOTE*** THESE ARE ROUGH DRAFTS AND ARE LIKELY TO CONTAIN ERRORS
**

** MY HANDWRITTEN SLIDES
**

** PAUL BEAME'S IAS SLIDES
**