Split and Propagate
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
When propagation stalls with choices still open, split one variable's domain into cases and propagate each case separately — recursing until every domain is a single value.
Show
Splitting is Unit 2's branching; propagation is this unit's own move; the pair is stronger than either alone.
Watch for
The split is a case analysis, not a guess — both branches get their own full treatment.