TAOCP 7.2.2.2 Exercise 256

Section 7.2.2.2: Satisfiability

Exercise 256. [20] How might the clause '**' in Table 3 have been easily learned?

Verified: no
Solve time: 9m15s

Message delivery timed out. Please try again.