Prove N(4) ≤ 17 and classify optimal five-source depth-two blocks - #4271

Prove N(4) ≤ 17 and classify optimal five-source depth-two blocks#4271

Mister-Meeseeks merged 3 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w1-1020f-char4-floorpetalas/integer-mult-bounds:research/w1-1020f-char4-floorCopy head branch name to clipboard