Lecture "Automated Reasoning SS06" - Exercises

Exercises

Exercise sheet 1 [PDF] [PS]
Exercise sheet 2 [PDF] [PS]
Exercise sheet 3 [PDF] [PS]
Exercise sheet 4 [PDF] [PS]
Exercise sheet 5 [PDF] [PS]
Exercise sheet 6 [PDF] [PS]
Exercise sheet 7 [PDF] [PS]
Exercise sheet 8 [PDF] [PS]
Exercise sheet 9 [PDF] [PS]
Exercise sheet 10 [PDF] [PS]
Exercise sheet 11 [PDF] [PS]
Exercise sheet 12 [PDF] [PS]

Tutorials

All tutorial groups start in May.

We had to assign some participants to their second choice tutorial group. If there are any serious date conflicts, we will try to resolve them during the lecture on April 26.

Monday 16-18, Room 021, Building E1.4, Tutor: Arnaud Fietzke, Contact: arnaud.fietzke[add at][add gmx.net]

Blass, Christian
Brendel, Philipp
Brill, Dominik
Bünte, Sven
Dividino, Renata
Ebert, Franziska
Hardt, Moritz
Kaminski, Mark
Kasterka, Uwe
Ruth, Ingo
Schubotz, Rene
Stachowicz, Dennis
Tsesarskij, Dmitrij
Vela, Ovidiu
Wang, Fei
Zins, Andreas

Thursday 14-16, Room 021, Building E1.4, Tutor: Dilyana Dimova, Contact: dilyana_dimova[add at][add web.de]

Eisentraut, Christian
Engelkes, Olivier
Faulhaber, Arndt
Holschuh, Tilman
Horozal, Feryal Fulya
Hritcu, Catalin
Hubig, Markus
Kahl, Gerrit
Kruglov, Evgeny
Nesbigall, Stefan
Nikolova, Mina
Tzigarov, Hristo
Vollmann, Robert
Youssef, Bazine

Friday 11-13, Room 021, Building: E1.4, Tutor: Patrick Wischnewski, Contact: pawi5002[add at][add stud.uni-saarland.de]

Abushammala, Mohammed
Beck, Daniel
Cavelius, Carsten
Céspedes, Lisset
Dietrich, Michael
Gehl, Björn
Ruffing, Jan
Zhang, Xin