Another Better Lower Bound for n=17 Square Packing
gus-massa.blogspot.com
The idea is to improve a recent result and prove that 4.5058 (?) ≤s(17) using these weights:  But let’s first define s(17). Quoting the old ...