禁断探索法による二分決定グラフの簡単化について

• 高木 昇

• 西部 圭悟

書誌事項

タイトル別名

• キンダン タンサクホウ ニ ヨル ニ ブン ケッテイ グラフ ノ カンタンカ ニ ツイテ

収録刊行物

• 富山県立大学紀要 = Bulletin of Toyama Prefectural University / 富山県立大学 編

  富山県立大学紀要 = Bulletin of Toyama Prefectural University / 富山県立大学 編 14 61-67, 2004-03

  射水 : 富山県立大学

キーワード

• 論理設計
• 対称論理関数
• Binary Decision Diagrams
• Logic Design
• Tabu Search
• Symmetric Logic Functions

詳細情報

• CRID: 1520009408137761024
• NII論文ID: 110004685709
• NII書誌ID: AN10358595
• ISSN: 09167633
• NDL書誌ID: 7019721
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I7019721
• 本文言語コード: ja
• NDL 雑誌分類:
  • ZV1(一般学術誌--一般学術誌・大学紀要)
• データソース種別:
  • NDL
  • CiNii Articles