Program of the course

Seminar in Theoretical Computer Science


 

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.


Main page