I like how the Wikipedia page on 2SAT explains the use of Resolution: >> Resolution, a method for combining pairs of constraints to make additional valid const

I like how the Wikipedia page on 2SAT explains the use of Resolution: >> Resolution, a method for combining pairs of constraints to make additional valid constraints, also leads to a polynomial time solution. "Constraints" being a slightly odd-sounding way to put it, to me anyway, but I guess that's because I don't have the relevant background to think of clauses that way.