Login / Signup
Efficient Methods for Conversion and Solution of Sparse Systems of Low-Degree Multivariate Polynomials over GF(2) via SAT-Solvers.
Gregory V. Bard
Nicolas T. Courtois
Chris Jefferson
Published in:
IACR Cryptol. ePrint Arch. (2007)
Keyphrases
</>
sat solvers
multivariate polynomials
orders of magnitude
decision trees
multi class
heuristic search
constraint satisfaction
agnostic learning