Seminar in Theoretical Computer Science |
|
Credits: |
3 ECTS |
Master: |
066 011 DDP Computational Logic (Erasmus-Mundus) 066 931 Logic and Computation 066 933 Information & Knowledge Management 066 936 Medizinische Informatik 066 937 Software Engineering & Internet Computing 860 GW Gebundene Wahlfacher - Technische Mathematik |
Course overview: |
Solving algorithms presented in terms of Abstract Solvers for Propositional Satisfiability, Answer Set Programming and Beyond; |
Bibliography: |
The needed paper references can be found at the end of the slides and in the online material. See here. |