You are here: Home Summer Term 2018 Decision Procedures … Exercises

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