The following material is presented to ensure timely dissemination of information among the students in the classes I teach. Further distribution of this material is prohibited, and constitutes a copyright violation.
You can retrieve the syllabus for CS 260 (Fall 2009).
The following paper "started it all". It is the classic paper on Binary Decision Diagrams.
Here you can retrieve the current set of class foils. Keep in mind that this file will be extended during the duration of the course, and possibly updated to correct errors or improve it. Please avoid reprinting this entire pdf file every time this happens.
Here is a copy of the foils for the paper on symbolic computation of p-semiflows. The paper itself is available here