CSM212: Constraint Satisfaction Problems

Lecture Notes

1. Part I: AC-1 and AC3 Algorithms
2. Part II: Temporal Reasoning and 3-Consistency

Further Reading

1. Course Notes (167KB postscript), David McAllester (from MIT's graduate course on the foundations of artificial intelligence.).
2. Shoham, Chapter 6