Search
Apr 01, 2024, 1 min read
A beefed up 2-SAT. 3-SAT is NP-Complete.
(x1∨x2∨x3)∧(x4∨x5∨x6)∨…