Learn / Specialty reference
Sudoku technique · Specialty reference · reference
Forcing nets
Consequences can branch and recombine rather than follow one linear path. The resulting proof is a network.
How to spot it
Record which premises support each deduction.
The common mistake
A solver search result is not a readable net unless those dependencies are shown.
Learn this first
Contradiction forcing.
Further reading: hodoku.sourceforge.net