Contents of Report

[Data of Report]

Report Number:
TM0963
Date of Registration:
1991.01
English Title:
Set Cal-a solver of set constraint in CAL system
Japanese Title:
***
English Author:
Y.Sato,K.Sakai,S.Menju
Japanese:
***
Name of Organization to which author belongs:
ICOT,ICOT,ICOT
PDF:
tm0963.pdf

[Contents]

Abstract.... 2
1Introduction.... 2
2Language of SetCAL.... 2
3Expression of set constraint by Boolean Polynomial ring.... 3
4Solution of Boolean equations.... 4
5How to solve set constraint.... 8
Acknowledgement.... 13
References.... 14

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

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda