## About the course

This class was taught at
the

Tokyo Institute of
Technologies, while I was there as a visiting professor,
hosted by

Osamu
Watanabe.

## Lecture Calendar and schedule

Here is the complete calendar
of the lectures. Lecture notes follow.

Date | Topic | Lecture note |

Oct, 20th (Tue) | Proof systems; resolution | lecture 1 |

Oct, 23th (Fri) | Resolution lower bound for Pigeohole principle | lecture 2 |

Oct, 27th (Tue) | Lower bounds based on resolution width | lecture 3 |

Nov, 6th (Fri) | Polynomial calculus and Proof search | lecture 4 |

Nov, 10th (Tue) | Lower bounds for Polynomial calculus | lecture 5 |

Nov, 13th (Fri) | Cutting planes: interpolation and lower bounds | lecture 6 |

Nov, 17th (Tue) | SAT solvers in theory and practice | lecture 7 |

Nov, 20th (Fri) | Space complexity and resolution | lecture 8 |

Nov, 24th (Tue) | Pebbling tautologies and space-length trade-offs | lecture 9 |

Nov, 27th (Fri) | Extended frege; extracting computation from proofs | lecture 10 |