1. Gregory V. Bard, Nicolas T. Courtois, and Chris Jefferson, Efficient methods for conversion and solution of sparse systems of low-degree multivariate polynomials over GF(2) via SAT-solvers, IACR (2007), 14 pages.[eprint]