Described GADDAG minimization