Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.3k answers

1.7k comments

556 users

0 votes
Hello,

I know how to minimize given BDD and it's Care-Set using SNF. But I'm unsure how to apply the algorithms. Is there something like an in-depth explanation or example?
in # Study-Organisation (Bachelor) by (190 points)

1 Answer

+1 vote
Not really; I mean the algorithms are quite involved, there is no real short idea you can remember instead. If you consider slides 106 and 107, you see the different cases, and each one can be explained. For constrain, it is not soo difficult, since you either forward the recursive call or just use one of the recursive calls on case the other cofactor is the 0-leaf.
by (170k points)

Related questions

0 votes
0 answers
0 votes
1 answer
0 votes
1 answer
asked Aug 27, 2023 in * TF "Emb. Sys. and Rob." by User100 (290 points)
0 votes
1 answer
Imprint | Privacy Policy
...