Implicit manipulation of polynomials using zero-suppressed BDDs | IEEE Conference Publication | IEEE Xplore