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

書誌事項

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

この論文をさがす

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ