Contents of Report
[Data of Report]
Report Number:
TM0630
Date of Registration:
1988.11
English Title:
***
Japanese Title:
並列論理プログラムにおける制約充足問題の解法
English Author:
M.Yokoo,K.Ueda
Japanese:
横尾 真,上田 和紀
Name of Organization to which author belongs:
NTT,ICOT
PDF:
tm0630.pdf
[Contents]
概要
.... 2
1
研究の動機
.... 2
2
制約充足問題の並列的解法
.... 2
3
宣言的な制約記述からの変換方法
.... 3
4
評価
.... 4
5
まとめと今後の課題
.... 7
謝辞
.... 7
参考文献
.... 7
付録
.... 8
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda