 CS 188 constraint ordering and structure notes

Official course-hosted technical exposition: 2.4 Ordering.

Relevant locators: §2.4, Minimum Remaining Values; §2.4.1, Structure, the upward support pass, downward assignment and cutset conditioning. The residual tree computation is linear in the number of variables for fixed maximum constraint domain size.