C_38a --- Improve rigorous lower bound for square-lattice SAW connective constant to 2.6273856 (span-17 certified enumeration) [Numaro.tech]#135

unnir wants to merge 1 commit into

teorth:mainteorth/optimizationproblems:mainfrom

unnir:saw-38a-numaro-2.6273856unnir/optimizationproblems:saw-38a-numaro-2.6273856Copy head branch name to clipboard