Text this: ESOP Expression Minimization for Multi-Valued Functions Using Nonlinear Integer Programming.