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.
Articles by others on the same topic
There are currently no matching articles.