 CS 252, Lecture 8: Constraint Satisfaction Problems (Carnegie Mellon University)

Lecture notes: www.cs.cmu.edu/~venkatg/teaching/15252-sp20/notes/csp-notes.pdf

Course context: www.cs.cmu.edu/~venkatg/teaching/15252-sp20/

The course is titled 15-252: More Great Ideas in Theoretical Computer Science and credits Venkatesan Guruswami as instructor. These particular notes have no author byline; the instructor is not assigned authorship. Carnegie Mellon University hosts the notes. No publication year is inferred from the URL.

Cited passages: §2, examples 1 and 3; §3, assignment certificates and classification items 1 and 3, pp. 1–3.