General
| Lecturers | Tommi Junttila Jussi Rintanen |
| Teaching assistant | Saurabh Fadnis |
| Time & place | The material, exercises, and exercise sessions are all online. The exam organization (classroom or online) is yet to be decided. |
| Topics |
|
The Autumn 2020 edition of the course starts on September 9, welcome!
- A short welcome video by the lecturers.
- Slides on Introduction and practicalities
The participation of the course includes reading the course material, viewing the lecture videos, completing online exercises, and taking an exam.
To get help in the exercises, weekly online exercise sessions are organized.
For the grading principles, and instructions for the online exercise sessions,
please see the "Taking the course" section.
The 10 rounds of the course are as follows:
- Propositional logic [lecture notes, see "Material" in the online exercises of the round for more]
- Fundamentals of SAT solvers [lecture notes, see "Material" in the online exercises of the round for more]
- Constraint Satisfaction problems [lecture notes, see "Material" in the online exercises of the round for more]
- Transition systems
- Symbolic (Logic-Based) Search, Binary Decision Diagrams
- Symbolic Search with SAT
- Modal and temporal logics
- Model-checking in verification and validation
- Satisfiability Modulo Theories I [lecture notes, see "Material" in the online exercises of the round for more]
- Satisfiability Modulo Theories II [lecture notes, see "Material" in the online exercises of the round for more]