New answers tagged reference-request
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 ...
- 3,369
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{...
- 401
Top 50 recent answers are included