max planck institut
mpii logo Minerva of the Max Planck Society

Lecture "Automated Reasoning SS12" - Exercises


Please submit the solutions during the lecture or until 4 p.m. on Mondays at Jennifer Müllers office (Room 610, Building E1 5). Only handwritten solutions are accepted.


The tutorial groups start in week 2 (beginning from 23rd of April, respectively).

Group 1: Tuesday 10-12, Room 023, Building E1 4; Tutor: Marek Kosta, Contact: mkosta[add at][add]

Group 2: Wednesday 10-12, Room 3.23, Building E1 7; Tutor: Claudia Sofia Esquivel Pinto, Contact: cesquive[add at][add]