1. Lecture Notes in Computer Science;M Albrecht,2011
2. Bard, G., Courtois, N., Jefferson, C.: Efficient methods for conversion and solution of sparse systems of low-degree multivariate polynomial over GF(2) via SAT-solvers. In: IACR Cryptology ePrint Archive, no. 024 (2007)
3. Beaulieu, R., Shors, D., Smith, J., Treatman-Clark, S., Weeks, B., Wingers, L.: The SIMON and SPECK Families of Lightweight Block Ciphers. Cryptology ePrint Archive, Report 2013/404 (2013).
http://eprint.iacr.org/
4. BEE.
http://amit.metodi.me/research/bee/
5. Berthold, T., Heinz, S., Pfetsch, M.E., Winkler, M.: SCIP C solving constraint integer programs. In: SAT 2009 Competitive Events Booklet (2009)