Small programs for (linear and nonlinear) combinational logic minimization