Solving Square-Submatrix Equation Systems

Lorenzo Carfagna, Giovanni Manzini

We consider systems of submatrix equations, that is, sets of equality constraints over square submatrices of the input. By generalising the recursive algorithm of Gawrychowski et a…