Course Materials
Books
Logical formula can be used for decision problems and can be used in different contexts. In this course, we will look at two main point of views in Artificial Intelligence and System Verification.
Artificial Intelligence point of view
- Stuart Russell and Peter Norvig, Artificial Intelligence: A Modern Approach 4th edition, 2020. (see Part III)
System verification point of view
- Daniel Kroening and Ofer Strichman, Decision procedures: an algorithmic point of view, 2nd edition, 2016.
- Aaron R. Bradley and Zohar Manna, The Calculus of Computation: Decision Procedures with Applications to Verification, 2007.
Additional Course Materials
Students must read the following documents in the first week of class.
- How to read a paper by Satish Keshav, ACM SIGCOMM Computer Communication Review 37(3):83-84, 2007.