Implicit Formulation of Unate Covering

In the previous chapters we have seen that the solution of a unate covering problem appears as a key step both in the minimum selection of encoding dichotomies and in GPI minimization.