1. Bard, G., Courtois, N., Jefferson, C.: Efficient Methods for Conversion and Solution of Sparse Systems of Low-Degree Multivariate Polynomials over GF(2) via SAT-Solvers. In: Cryptology ePrint Archive, Report 2007/024 (2007)
2. Lecture Notes in Computer Science;A. Biryukov,2003
3. Lecture Notes in Computer Science;A. Biryukov,2007
4. Lecture Notes in Computer Science;A. Bogdanov,2007
5. Lecture Notes in Computer Science;A. Bogdanov,2007