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

912 questions

1k answers


441 users

0 votes

I understood the procedure for converting ZDD to ROBDD:

  1. compute the set representations all nodes of the ZDD
  2. read the full DNF from the set representations
  3. convert the obtained DNF to Shannon normal form to get the BDD
Similarly, are there any rules for converting FDD to ROBDD? Could you please help me to solve this issue? [I have seen the FDD2BDD algorithm, are there any certain rules like the above mentioned?]
in # Study-Organisation (Master) by (1.1k points)

1 Answer

+1 vote
Best answer

Sure, you can proceed completely analogously:

  1. compute the set representations of all nodes of the FDD
  2. convert the set representations to the Reed Muller Normal Form (RMNF)
  3. convert the obtained RMNF to Shannon normal form to get the BDD
by (142k points)
selected by
Thank you, Professor

Related questions

0 votes
1 answer
asked Jul 22, 2022 in * TF "Emb. Sys. and Rob." by CS_E (2.9k points)
0 votes
2 answers
0 votes
1 answer
Imprint | Privacy Policy