Closed albertocasagrande closed 2 years ago
Let L_i and [min_i, max_i] be the i-th rows of the L matrix and the corresponding boundaries, respectively. For any i >n, webSapo translates <L_i, [min_i, max_i]> into L_i <1...1>^T <= max_i and -L_i <1...1>^T <= min_i.
Let L_i and [min_i, max_i] be the i-th rows of the L matrix and the corresponding boundaries, respectively. For any i >n, webSapo translates <L_i, [min_i, max_i]> into L_i <1...1>^T <= max_i and -L_i <1...1>^T <= min_i.