References
- [1] GOERDT, A.: A threshold for unsatisfiability, J. Comput. System Sci. 53 (1996), 469-486.
- [2] RADDUM, H.-SEMAEV, I.: New technique for solving sparse equation systems, Cryptology ePrint Archive: Report 2006/475, http://eprint.iacr.org/2006/475.
- [3] RADDUM, H.-SEMAEV, I.: Solving multiple right hand sides linear equations, Des. Codes Cryptogr. 49 (2008), 147-160.
- [4] SCHILLING, T.-RADDUM, H.: Solving equation systems by Agreeing and Learning, in: Arithmetics of Finite Fields, WAIFI 2010 (M.A. Hasan and T. Helleseth, eds.), Lecture Notes in Comput. Sci., Vol. 6087, Springer-Verlag, Berlin, 2010, pp. 151-165
- [5] SEMAEV, I.: Improved Agreeing-Gluing Algorithm, Cryptology ePrint Archive: Report 2010/140, http://eprint.iacr.org/2010/140.
- [6] WARSHALL, S.: A theorem on Boolean matrices, J. Assoc. Comput. Mach. 9 (1962), 11-12.
- [7] ZAJAC, P.: Solving SPN-based system of equations with syllogisms, in: 1st Plenary Conference of the NIL-I-004, Bergen, 2009 (A. Kholosha, K. Nemoga, M. Sýs, eds.), STU Bratislava, 2009, pp. 21-30.
- [8] ZAJAC, P.: Implementation of the method of syllogisms, (preprint).
- [9] ZAKREVSKIJ, A.-VASILKOVA, I.: Reducing large systems of Boolean equations, in: 4th International Workshop on Boolean Problems, Freiberg University of Mining and Technology, Freiberg, 2000, pp. 21-28.