Backjumping (BJ)
Similar to BT, but more efficient when no consistent instantiation can be found for the current var
Instead of backtracking to most recent var…
BJ reverts to deepest var which was checked against the current var
(2, 5, 3, 6) inconsistent with x6
No sense trying other values of x5