Verifikation, Zuverlässigkeit und Test WS 2006/07 :  LRA+ABS Forum The fastest message board... ever.
Re: Question concerns Signature
Posted by: Tobias Nopper ()
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.


Tobias Nopper
Lehrstuhl für Betriebssysteme

Navigate: Previous MessageNext Message
Options: ReplyQuote

Subject Views Written By Posted
Question concerns Signature 2731 Ahmad 12/15/2006 10:14AM
Re: Question concerns Signature 2045 Tobias Nopper 12/18/2006 05:51PM

Sorry, you do not have permission to post/reply in this forum.
This forum powered by Phorum.