Greedy queens and the golden ratio 70RV7J456D

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
Upper-antidiagonal attack criterion	statement	proposition 13	arxiv
Column runs and gaps	statement	corollary 20	arxiv
6ADJQGWQ47	statement	lemma 3	arxiv
One-step error identity	statement	lemma 21	arxiv
Finite verification	statement	proposition 18	arxiv
CMY2NBSR76	statement	lemma 7	arxiv
FXDT96W31V	statement	lemma 4	arxiv
Diagonal coverage	statement	corollary 19	arxiv
Consistent window bounds	definition	definition 22	arxiv
Local state	definition	definition 11	arxiv
Contraction and queen positions	statement	proposition 9	arxiv
Window bounds hold on the board	statement	lemma 23	arxiv
MATY2YTPGC	statement	theorem 2	arxiv
Counting recurrence	statement	lemma 8	arxiv
Sequential generation	statement	proposition 25	arxiv
Bounded diagonal discrepancy	statement	lemma 6	arxiv
The records determine the actual step	statement	lemma 17	arxiv
History graph	definition	definition 12	arxiv
W50RZ9SJRC	definition	definition	arxiv
WXFM1K2ZQH	statement	lemma 5	arxiv
Finite verification of the window bounds	statement	proposition 24	arxiv
YJ73G63DBG	statement	theorem 1	arxiv
State graph	definition	definition 15	arxiv
Queen word	definition	definition 10	arxiv
Upper-row counting formula	statement	proposition 14	arxiv