4 ms·
The resolution is actually also what 2SAT algorithm is doing.
by js8 3y ago
The resolution is actually also what 2SAT algorithm is doing.
- YeGoblynQueenne 3y agoI 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.