CS-E4570 Advanced Course in Boolean Satisfiability

CS-E4570 Advanced Course in Boolean Satisfiability

CS-E4570 Advanced Course in Boolean Satisfiability

Schedule: 10.04.2017 - 19.05.2017

Teaching Period: Course removed from course selection. Substitutive course CS-E3220 Declarative Programming.

Credits: 5

Teacher: Tommi Junttila, Tomi Janhunen, Jussi Rintanen

Registration for Courses and Further Information in Oodi

Description

Current and future teaching

Future examinations

Registration