Another better lower bound for n=17 square packing

23 points | by gus_massa 4 hours ago

4 comments