Course Catalog
| CS 502 Automated Reasoning | 3 Credits | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Formal principles, and algorithms for reasoning about knowledge represented in a logical language (e.g., methods used by the state-of-the-art SAT solvers, QBF solvers, and theorem provers, algorithms for knowledge compilation, logical entailment, and model counting), and their applications in computer science (e.g., prediction, diagnosis and testing, planning, model checking, automated theorem proving, constraint satisfaction). | |||||||||||||
|
|||||||||||||
| Prerequisite: __ | |||||||||||||
| Corequisite: __ | |||||||||||||
| ECTS Credit: 10 ECTS (10 ECTS for students admitted before 2013-14 Academic Year) | |||||||||||||
| General Requirements: | |||||||||||||