New answers tagged

2 votes

Methods to solve integer linear inequalities with products of two variables

One classic technique is to reformulate the integer variables as a bunch of binary variables. In this case i would use a encoding with powers of 2 and then use a multiplier circuit to express the ...
user avatar
2 votes

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{...
user avatar

Top 50 recent answers are included