CS-E4570 Advanced Course in Boolean Satisfiability

CS-E4570 Advanced Course in Boolean Satisfiability

CS-E4570 Advanced Course in Boolean Satisfiability

Aikataulu: 10.04.2017 - 19.05.2017

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

Laajuus: 5

Opettaja: Tommi Junttila, Tomi Janhunen, Jussi Rintanen

Ilmoittautuminen ja lisätiedot Oodissa

Opintojakson kuvaus

Meneillään oleva ja tuleva opetus

Tulevat tentit

Ilmoittautuminen