TAOCP 7.2.2.2 Exercise 278
Working
Section 7.2.2.2: Satisfiability
Exercise 278. [22] Find a six-step certificate of unsatisfiability for warden$(3, 3; 9)$.
Verified: no
Solve time: 11m54s
Working
Working
Section 7.2.2.2: Satisfiability
Exercise 278. [22] Find a six-step certificate of unsatisfiability for warden$(3, 3; 9)$.
Verified: no
Solve time: 11m54s
Working