TAOCP 7.2.2.2 Exercise 126
Solution to TAOCP 7.2.2.2 Exercise 126.
Section 7.2.2.2: Satisfiability
Exercise 126. [20] Extend the computation in (59) by one more step.
Verified: no
Solve time: 3m06s
Solution to TAOCP 7.2.2.2 Exercise 126.
Section 7.2.2.2: Satisfiability
Exercise 126. [20] Extend the computation in (59) by one more step.
Verified: no
Solve time: 3m06s