This chapter introduces Integer Linear Programming (ILP) approaches for solving efficiently a ðnancial portfolio design problem. The authors proposed a matricial model in Chapter 3, which is a mathematical quadratic model. A linearization step is considered necessary to apply linear programming techniques. The corresponding matricial model shows clearly that the problem is strongly symmetrical. The row and column symmetries are easily handled by adding a negligible number of new constraints. The authors propose two linear models, which are given in detail and proven. These models represent the problem as linear constraint systems with 0-1 variables, which will be implemented in ILP solver. Experimental results in non-trivial instances of portfolio design problem are given.
Classical vs quantum satisfiability in linear constraint systems modulo an integer
