Numerical Procedures for Boolean Function Minimization