Scientific work in the area of logic
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.
ECTS Breakdown:
Design, implementation, and presentation of a parameterized algorithm.
Not necessary