# Tag Info

### Modulo Integer Programming, $m$ equations $n$ variables
Very briefly, what Bradley did was to consider $P=\small\begin{bmatrix} A&K\\Id&0 \end{bmatrix}$. We can then find a uni-modular matrix \$Q=\small\begin{bmatrix} Q1&Q2\\Q3&Q4 \end{...