TAOCP 7.2.2.2 Exercise 229

Error in message stream

taocpmathematicsalgorithmsvolume-4math-medium

Section 7.2.2.2: Satisfiability

Exercise 229. [M21] Continuing exercise 228, prove also that the set of clauses (99), (100'), (101) is unsatisfiable, where (100') denotes (100) restricted to the cases $i \le k$ and $j < k$.

Verified: no
Solve time: 6m36s

Error in message stream