Improve lower bound for the Fourier Entropy-Influence constant to 6.521845710923046575 (n=18 certified construction)#130

unnir wants to merge 1 commit into

teorth:mainteorth/optimizationproblems:mainfrom

unnir:fei-71a-numaro-6.5218unnir/optimizationproblems:fei-71a-numaro-6.5218Copy head branch name to clipboard