MRV selects the unassigned cell with the fewest remaining candidates—the fail-first strategy.
MRV chooses a singleton before branching. Assigning forced cells may create additional singletons, allowing substantial progress without guessing.
If a cell has no legal value, the current branch is already impossible. If it has one value, delaying it provides no benefit. Handling the most constrained cells first exposes contradictions early.