« February 2020 »
February
MoTuWeThFrSaSu
12
3456789
10111213141516
17181920212223
242526272829
Uni-Logo
You are here: Home Teaching Winter Term 2019/20 Decision Procedures (Lecture) Exercises
Document Actions

Exercises

Exercise sheet 1
submit until October 29, 2019
Exercise sheet 2
submit until November 5, 2019
Example script for sheet 2
Example for SMT-LIB 2 syntax
Exercise sheet 3
submit until November 12, 2019
Exercise sheet 4
submit until November 19, 2019
Exercise sheet 5
submit until November 26, 2019
Exercise sheet 6
submit until December 3, 2019
Exercise sheet 7
submit until December 10, 2019
Additional Material for Sheet 7
Instructions, template and test file for the bonus exercise
Exercise sheet 8
submit until December 17, 2019
Exercise sheet 9
submit until January 07, 2020
Exercise sheet 10
submit until January 14, 2020
Exercise sheet 11
submit until January 21, 2020
Exercise sheet 12
submit until Jan 28, 2020
Exercise sheet 13
submit until Feb 04, 2020
Exercise sheet 14
submit until Feb 11, 2020
Personal tools