@J.J.Green This is an interesting approach. Just to make sure, my problem can be written as a conjunctive normal form (AND among all the equations-couples, and in each couple an OR statement), and by writing it as a disjunctive normal form, I get multiple sets of equations, and each solution will fit to my problem, so I will take the minimal (assuming I want to min in my LP) one, yes? Also, I have searched for "Fourier-Moskowitz", but found no results. Is this a software?