Semantic search
From International Center for Computational Logic
Courses
- Science of Computational Logic (WS 2019)
- SAT-Solving (SudokuSAT) (SS 2019)
- Theoretische Informatik und Logik (SS 2019)
- SAT-Solving (SS 2019)
- Knowledge Representation and Reasoning Seminar (SS 2019)