Edward A. Hirsch: Courses (archive)
Most of these courses files are in Russian.
- Propositional Proof Complexity:
- Computational Complexity:
- Foundations of Cryptography:
- Algorithms I
- Advanced Algorithms
- SAT (an ongoing course in Ariel University, in English).