Contents of Report

[Data of Report]

Report Number:: TR0680
Date of Registration:: 1991.08
English Title:: Solving constraints over sets by Boolean Grobner bases
Japanese Title:: ***
English Author:: Y.Sato,S.Menju,K.Sakai
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT,ICOT
PDF:: tr0680.pdf

[Contents]

	Abstract	.... 2
1	Introduction	.... 2
2	A language for set constraints	.... 3
3	Expression of set constraints by a Boolean polynomial ring	.... 3
4	Boolean Grobner bases	.... 4
5	How to solve set constraints	.... 8
	References	.... 10
	Appendix	.... 11

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

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports