CSC 2429: Proof Complexity, Mathematical Programming, and Algorithms
Winter, 2018

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

ANNOUNCEMENT Dec 28. Welcome to the course! Announcements will be here.

Lectures: Wednesday 3-5 Room BA 4010

Instructor: Toniann Pitassi, email: toni@cs
Office: Sandford Fleming 2305A, 978-3695
Office Hours: by appointment

Course Information Sheet

CLASS SCHEDULE AND NOTES

HOMEWORK AND PRESENTATIONS

ALGORITHMS VIA SOS PAPERS

LOWER BOUNDS

COURSES, SURVEY TALKS, NOTES

PROOF COMPLEXITY SURVEYS