Edward A. Hirsch: Courses

• A recent one (Winter 2023/24), in English: Boolean Satisfiability.
• Courses from the past (before 2021), mostly in Russian: Archive.