4 ms·You went in with an optimization problem and came out with 3-satisfiability.by harveywi 10y agoYou went in with an optimization problem and came out with 3-satisfiability.