2-SAT via implication SCC

Also known as Aspvall-Plass-Tarjan. This is the canonical page; those names redirect here.

Pairings in the atlas

standalonestandardBoolean constraint solving graphs-structure

Rivals: other methods for the same problems

Where it sits

graphs-structure · Graph Algorithms