Welcome! » Log In » Create A New Profile

ROBDD

Posted by Jörg & Timo 
Forum List Message List New Topic
Jörg & Timo
ROBDD
June 07, 2005 07:39PM
Für was steht das R? Sind damit die OBDDs gemeint?
Reply Quote
Pablo
Re: ROBDD
June 07, 2005 11:07PM
R für Reduced.
Reply Quote
50
Re: ROBDD
June 08, 2005 10:45PM
reicht es den ROBDD anzugeben oder muss man da formaler rangehen? (kofaktor..)
Reply Quote
Pablo
Re: ROBDD
June 08, 2005 11:26PM
brauchst nur den ROBDD, eine Kofaktorzerlegung wäre viel zu groß. Und dieser BDD ist sehr einfach zu bauen, man braucht eigentlich keine Kofaktorzerlegung.
Reply Quote
Newer Topic Older Topic
Sorry, you do not have permission to post/reply in this forum.