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