TAOCP 7.2.2.2 Exercise 449
Working
Section 7.2.2.2: Satisfiability
Exercise 449. [21] [21] Exhibit $n \times n$ quad-free matrices that contain the maximum number of 1s and obey the lexicographic constraints (185), (186), for $8 \le n \le 16$.
Verified: no
Solve time: 5m32s
Working