論理関数のCNFからBDDの効率的な構築法

Bibliographic Information

Other Title
  • ロンリ カンスウ ノ CNF カラ BDD ノ コウリツテキ ナ コウチクホウ
  • Efficient Construction of BDDs from CNFs
  • 回路とシステム
  • カイロ ト システム

Search this article

Journal

Details 詳細情報について

Report a problem

Back to top