Re: Question concerns Signature
Date: December 18, 2006 05:51PM
Well, you do not *need* to compute signatures and compare them, but you possibly don't have to compare as many ROBDDs.
And yes, if there is no permutation of the variables so that the signatures match, the functions differ for all possible variable permutations and thus you can stop.
Lehrstuhl für Betriebssysteme