TY  - RPRT
TI  - Proving Norine's Conjecture holds for $n=7$ via SAT solvers
AU  - Keith Frankston
AU  - Danny Scheinerman
PY  - 2024
UR  - https://arxiv.org/abs/2408.02474
ID  - 2408.02474
ER  -