Scientific work in the area of logic

In this seminar, we discuss algorithmic graph theory and the use of its methods for the problems of boolean satisfiability (SAT) and answer set programming (ASP). We focus on the design and implementation of parameterized algorithms in this area.

ECTS Breakdown:

• 10h introduction to subject matter
• 30h algorithm design and implementation, 
• 25h presentation (including time to prepare)

Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: http://www.tuwien.ac.at/fileadmin/t/ukanzlei/t-ukanzlei-english/Plagiarism.pdf
Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: Directive concerning the handling of plagiarism (PDF)Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: Directive concerning the handling of plagiarism (PDF)

Design, implementation, and presentation of a parameterized algorithm.

No lecture notes are available.