Home >  Term: reduced ordered binary decision diagram (ROBDD)
reduced ordered binary decision diagram (ROBDD)

In the field of computer science, a reduced binary decision diagram (BDD) is a data structure that represents a Boolean function. It is a compressed representation of sets or relations. Unlike other compressed representations, operations are performed directly on the compressed representation, i.e. without decompression.

In popular usage, the term reduced ordered binary decision diagram (ROBDD) is used synonymously as ordered binary decision diagram (ROBDD), but with emphasized ordering and reduction aspects.

0 0

Creator

  • GeorgeV
  •  (Gold) 1123 points
  • 100% positive feedback
© 2024 CSOFT International, Ltd.