TAOCP 7.2.2.2 Exercise 467
Message delivery timed out.
Section 7.2.2.2: Satisfiability
Exercise 467. [20] $[20]$ Mutilate the $7 \times 8$ and $8 \times 7$ boards by removing the upper right and lower left cells. What domino coverings are fixed by all the even-odd endomorphisms like (190)?
Verified: no
Solve time: 10m15s
Message delivery timed out. Please try again.