Art

J-GLOBAL ID：201702215480065810   Reference number：17A1619248

ZDDs and Enumeration Problems: State-of-The-Art Techniques and Programming Tool

ZDDと列挙問題-最新の技法とプログラミングツール

Author (5)： TODA TAKAHISA (電気通信大学大学院情報理工学研究科) ,  SAITO TOSHIKI (神戸大学大学院工学研究科) ,  IWASHITA HIROAKI (富士通研究所知識情報処理研究所) ,  KAWAHARA JUN (奈良先端科学技術大学院大学情報科学研究科) ,  MINATO SHIN'ICHI (北海道大学大学院情報科学研究科)
Material： コンピュータソフトウェア  (Computer Software)
Volume： 34  Issue： 3  Page： 3_97-3_120(J-STAGE)  Publication year： 2017 
JST Material Number： Y0628A  ISSN： 0289-6540  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *support program ,  *computer programming ,  electric power system ,  *combinational problem ,  data structure ,  speedup ,  computer algorithm ,  constraint condition (restriction) ,  *computation theory ,  Top-down control
Semi thesaurus term： ZDD ,  Top-down processing ,  *プログラミングツール ,  *数え上げ問題 ,  power network ,  *列挙問題

JST classification (3)： Computer system development  (JD02010R) ,  Theory of computation  (JB02000A) ,  Other methods of operations research  (KA03070E)

Terms in the title (5)： ZDD ,  問題 ,  技法 ,  プログラミング ,  ツール