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 abraham@cs.rwth-aachen.de . Besides an L2P room for learning material, if there is interest, we will offer dates for questions and a mock exam.