Advanced BDD optimization

著者

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

書誌事項

Advanced BDD optimization

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

Springer, c2005

• : hbk

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA72835678
• ISBN:
  • 0387254536
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht
• ページ数/冊数: x, 222 p.
• 大きさ: 25 cm
• 件名:
  • LCSH : Decision making -- Mathematical models
  • LCSH : Decision trees
  • LCSH : Logic design -- Mathematics
  • LCSH : Algebra, Boolean