Dynamic Contradiction Forcing Chains
Follows every branch of a choice and keeps what they all agree on.
All candidates have been entered in the empty cells.
Assuming 6 in cell A, the deductions below leave no place for row B: 5. Cell A cannot contain 6.