Advanced BDD optimization

Author(s)

• Ebendt, Rüdiger
• Fey, Görschwin
• Drechsler, Rolf

Bibliographic Information

Advanced BDD optimization

by Rüdiger Ebendt, Görschwin Fey and Rolf Drechsler

Springer, c2005

• : hbk

Note

Includes bibliographical references and index

Details

• NCID: BA72835678
• ISBN:
  • 0387254536
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht
• Pages/Volumes: x, 222 p.
• Size: 25 cm
• Subject Headings:
  • LCSH : Decision making -- Mathematical models
  • LCSH : Decision trees
  • LCSH : Logic design -- Mathematics
  • LCSH : Algebra, Boolean