Seminar in Computational Engineering: Automated Reasoning

Martina Seidl


The topic of this seminar will be Donald Knuth's new section of The Art of Computer Programming on Satisfiability.


Each participants has to read two parts of the book and present them to the other participants.
Details will be discussed in the first meeting.
  • First meeting: Tue 11.10.2016, 18:30, SC3, 058


The grading is based on the quality of the submitted material (slides of the presention) and the given talks. Active participation during the meetings is expected.


In case of questions or problems please contact Martina Seidl (