TAOCP 7.2.2.2 Exercise 445

Solution to TAOCP 7.2.2.2 Exercise 445.

taocpmathematicsalgorithmsvolume-4medium

Section 7.2.2.2: Satisfiability

Exercise 445. ▶ [22] [22] Find short certificates of unsatisfiability for the pigeonhole clauses (106)–(107), when they are supplemented by (a) (181); (b) (182); (c) (183).

Verified: no
Solve time: 8m33s