Experimental results on preprocessing of path/cut terms in sum of disjoint products technique | IEEE Conference Publication | IEEE Xplore