20230707
computational record for Multivariate Quadratic Boolean system solving with n=80 variables and m=160 equations (Type I) achieved by Charles Bouillaguet and Julia Sauvage
computational record for Multivariate Quadratic Boolean system solving with n=80 variables and m=160 equations (Type I) achieved by Charles Bouillaguet and Julia Sauvage