ICS-E5050 Advanced Course in Boolean Satisfiability

ICS-E5050 Advanced Course in Boolean Satisfiability

ICS-E5050 Advanced Course in Boolean Satisfiability

Schedule: 08.01.2016 - 01.04.2016

Teaching Period: III-IV

Credits: 5

Registration for Courses and Further Information in Oodi

Description

Current and future teaching

Future examinations

Registration