1. Biere, A.: PicoSAT essentials. J. Satisfiabil. Boolean Model. Comput. (JSAT) 4, 75–97 (2008)
2. Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability, vol. 185 of Frontiers in Artificial Intelligence and Applications. IOS Press (2009)
3. Biere, A.: Lingeling, Plingeling, Picosat and Precosat at SAT race 2010. Technical report. FMV 10/1, Institute for Formal Models and Verification, Johannes Kepler University (2010)
4. Biere, A.: Lingeling, Plingeling and Treengeling entering the SAT competition 2013. In: Proceedings of SAT Competition 2013, vol. B-2013-1 of Department of Computer Science Series of Publications B, pp. 51–52. University of Helsinki (2013)
5. Biham, E., Shamir, A.: Differential cryptanalysis of DES-like cryptosystems. J. Cryptol. 4(1), 3–72 (1991)