After successful completion of the course, students are able to...
In this seminar, we discuss algorithmic graph theory and the use of its methods for the problems in the fields of boolean satisfiability (SAT), databases, and answer set programming (ASP). We focus on the design and implementation of parameterized algorithms in this area.
Design, implementation, and presentation of a parameterized algorithm.
ECTS Breakdown:
Assessement is based on the implementation and the oral presenation.
Not necessary