Techniques of BDDs/ZDDs and Discrete Structure Manipulation Systems(<Special Issue>Discrete Structure Manipulation Systems-The Art of Algorithms for Intelligent Information Processing)

• MINATO Shin-ichi

  Graduate School of Information Science and Technology, Hokkaido University JST ERATO Minato Discrete Structure Manipulation System Project

Bibliographic Information

Other Title

• BDD/ZDDの技法と離散構造処理系(<特集>離散構造処理系-知能情報処理を支えるアルゴリズムの技法)
• BDD/ZDDの技法と離散構造処理系
• BDD/ZDD ノ ギホウ ト リサン コウゾウ ショリケイ

Journal

• Journal of the Japanese Society for Artificial Intelligence

  Journal of the Japanese Society for Artificial Intelligence 27 (3), 232-238, 2012-05-01

  The Japanese Society for Artificial Intelligence

Keywords

• BDD
• ZDD
• discrete structure
• algorithm

Details

• CRID: 1390004222627428864
• NII Article ID: 110009445644
• NII Book ID: AN10067140
• ISSN: 09128085
• ISSN: 24358614
• ISSN: 21882266
• DOI: 10.11517/jjsai.27.3_232
• NDL BIB ID: 023768906
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I023768906
• Text Lang: ja
• Data Source:
  • JaLC
  • NDL
  • CiNii Articles