2 ms·Right, SAT can sometimes be thought of as the assembly language of discrete optimisation.by petters 3y agoRight, SAT can sometimes be thought of as the assembly language of discrete optimisation.