Art

J-GLOBAL ID：200902192718525134   Reference number：97A0950118

Stepwise Improvement of Constraint Satisfaction Algorithms by Extension of Data Structures and Addition of Rules.

データ構造の拡張とルールの追加による制約充足アルゴリズムの段階的改善

Author (3)： AKAMA KIYOSHI (北大) ,  SUITA KEIKO (北大) ,  MIYAMOTO EIICHI (北大)
Material： 日本ソフトウエア科学会大会論文集
Volume： 14th  Page： 529-532  Publication year： Sep. 1997 
JST Material Number： X0080A  ISSN： 0913-5391  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： data structure ,...
Semi thesaurus term： correctness

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=97A0950118&from=J-GLOBAL&jstjournalNo=X0080A") }}

JST classification (2)： System programmings in general  (JD03010Y) ,  Theory of computation  (JB02000A)

Terms in the title (6)： データ構造 ,  拡張 ,  ルール ,  制約充足 ,  アルゴリズム ,  段階