Contents of Report

[Data of Report]

Report Number:: TM1026
Date of Registration:: 1991.02
English Title:: Boolean Algebraic Approach to Constraint Satisfaction Problems
Japanese Title:: ブール代数を用いた制約充足問題の定式化とその解法について
English Author:: Y.Nagai
Japanese:: 永井　保夫
Name of Organization to which author belongs:: TOSHIBA
PDF:: tm1026.pdf

1	はじめに	.... 2
2	制約充足問題とブール代数による定式化	.... 2
3	具体例に対するブール代数を用いた制約充足問題の定式化	.... 3
4	制約論理型言語のブール制約評価系	.... 4
5	ブール制約評価系を用いた制約充足処理の効率化検討	.... 5
6	制約論理型言語CALのブール制約を用いた記述ならびに効率化手法の適用	.... 6
7	実験結果および考察	.... 8
8	おわりに	.... 9
	謝辞	.... 9
	参考文献	.... 9

目次をクリックすると、PDFファイルが表示されます。