Seminar in Computational Engineering: Automated ReasoningMartina Seidl
The topic of this seminar will be Donald Knuth's new section of The Art of Computer Programming on Satisfiability.
OutlineEach participants has to read two parts of the book and present them to the other participants.
Details will be discussed in the first meeting.
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 (Martina.Seidl@jku.at).