Topic: Array Positioning & SAT Solving
In GAMS, assume I have s parameters which is indexed over two sets P1(A,B), and I have another one-to-one-mapping that maps exactly each element of B to each element of C. How can I create a new parameter P2(A,C) such that each value of P2 takes the mapped value from P1?

Topic: Array Positioning & SAT Solving
I have a set of examples (that is assignments of $n$ variables $x_1 ... x_n$ that are labeled as solution (+) or non-solution (-). The goal is to find the minimum subset of variables in  $x_1 ... x_n$  such that it is possible to split between (+) and (-) by seeing only theses variables.