Lectures

Lectures take place every week and are focused on explaining theory and basic SAT/SMT/AR algorithms.

Seminars

Seminars take place every other week and are focused on practicing the material from lectures and on practical applications of the material. The seminars can contain new material that is not presented during lectures but is relevant for practical usage. Seminars might include some programming exercises, so please bring your laptops.

Project (a simple SAT solver)

To pass the course, you have to submit a project. The detailed assignment and requirements are described in a separate section of this interactive syllabus. You are encouraged to implement additional bonus functionality. This can help you during the oral exam.

Exam

The exam is oral. The slots will be announced before the start of examination period. The questions can cover both the material from the lectures and the material from the seminars.