Edward A. Hirsch: Courses

• I am currently teaching (Spring 2026), in English: Boolean Satisfiability.
• Courses from the past (before 2021), mostly in Russian: Archive.