Proposing a new lower bound for n=17 square packing problem t twitter.com 2 sam-bee 2 months ago 2 comments