Due to sabbatical leave of Prof. Abraham, the Satisfiability Checking course will not take place in the winter term 2013/2014. However, we offer examination dates for students who followed this lecture in an earlier semester.
First exam date:
Saturday 22.02.2014, 14:30 bis 16:30, AachenMünchener Halle (Aula)
Second exam date:
Saturday 29.03.2014, 10:30 bis 12:30, AH I+II
If you would like to take the exam, please register and send an email to email@example.com . Besides an L2P room for learning material, if there is interest, we will offer dates for questions and a mock exam.