« June 2020 »
June
MoTuWeThFrSaSu
1234567
891011121314
15161718192021
22232425262728
2930
Uni-Logo
You are here: Home Teaching Summer Term 2018 Decision Procedures (Lecture) Exercises
Document Actions

Exercises

Exercise sheet 1
submit until April 24, 2018
Exercise sheet 2
submit until May 3, 2018
Example script for sheet 2 exercise 2
Example for SMT-LIB 2 syntax
Exercise sheet 3
submit until May 15, 2018
Exercise sheet 4
submit until May 29, 2018
Exercise sheet 5
submit until June 5, 2018
Exercise sheet 6
submit until June 12, 2018
Exercise sheet 7
submit until June 19, 2018
Exercise sheet 8
submit until June 26, 2018
Exercise sheet 9
submit until July 3, 2018
Exercise sheet 10
submit until July 10, 2018
Exercise sheet 11
submit until July 17, 2018
Personal tools