Using Enumerative Methods for Boolean Unification