max planck institut
informatik
mpii logo Minerva of the Max Planck Society

Lecture "Automated Reasoning SS12" - Exercises