1. Alekseev, V.B.: On bilinear complexity of multiplication of
$$5\times 2$$
matrix by
$$2\times 2$$
matrix. Physics and mathematics, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, vol. 156, pp. 19–29. Kazan University, Kazan (2014)
2. Alekseev, V.B.: On bilinear complexity of multiplication of
$$m\times 2$$
and
$$2\times 2$$
matrices. Chebyshevskii Sb. 16(4), 11–27 (2015)
3. Alekseev, V.B., Smirnov, A.V.: On the exact and approximate bilinear complexities of multiplication of
$$4\times 2$$
and
$$2\times 2$$
matrices. Proc. Steklov Inst. Math. 282(1), 123–139 (2013)
4. Alekseyev, V.B.: On the complexity of some algorithms of matrix multiplication. J. Algorithms 6(1), 71–85 (1985)
5. Aloul, F.A., Sakallah, K.A., Markov, I.L.: Efficient symmetry breaking for boolean satisfiability. In: Proceedings of the IJCAI 2003, pp. 271–276. Morgan Kaufmann (2003)