Minimization for Generalized Boolean Formulas

Open in new window