@misc{cryptoeprint:2007:024,
    author = {Gregory V. Bard, and Nicolas T. Courtois, and Chris Jefferson.},
    title = {Efficient Methods for Conversion and Solution of Sparse Systems of Low-Degree Multivariate Polynomials over GF(2) via SAT-Solvers},
    howpublished = {Cryptology ePrint Archive, Report 2007/024},
    year = {2007},
    url = {http://eprint.iacr.org/2007/024},
}