Seminar in Theoretical Computer Science |
|
Credits: |
3 ECTS |
Master: |
011 DDP Computational Logic (Erasmus-Mundus) 931 Logic and Computation 933 Information & Knowledge Management 936 Medical Informatics 937 Software Engineering & Internet Computing 860 GW Optional Courses - Technical Mathematics |
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. |