 CS 188 constraint filtering notes

Official course-hosted technical exposition: 2.3 Filtering.

Relevant locator: §2.3, initial forward-checking definition and subsequent directed support-revision procedure. These describe forward checking, arc consistency and iterative filtering.