1. Lecture Notes in Computer Science;K Aoki,2009
2. Bernstein, D.J., Lange, T.: eBASH: ECRYPT benchmarking of all submitted hashes, January 2011.
http://bench.cr.yp.to/ebash.html
3. Buro, M., Kleine-Büning, H.: Report on a SAT competition. Bull. Eur. Assoc. Theor. Comput. Sci. 49, 143–151 (1993)
4. Lecture Notes in Computer Science,2012
5. Lecture Notes in Computer Science,2005