TAOCP 7.2.2.2 Exercise 208

Solution to TAOCP 7.2.2.2 Exercise 208.

taocpmathematicsalgorithmsvolume-4medium

Section 7.2.2.2: Satisfiability

Exercise 208. [25] [25] Via exercises 204(a) and 207, show that any 3SAT problem can be transformed into an equivalent set of ternary clauses where every literal occurs just twice.

Verified: no
Solve time: 7m45s