Hardprob/Maximum Satisfiability Of Quadratic Equations Over GfF(Q) — различия между версиями