Automated Reasoning (CS 502)

2020 Fall
Faculty of Engineering and Natural Sciences
Computer Sci.& Eng.(CS)
Esra Erdem,
Click here to view.
Doctoral, Master
Click here to view.


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).