Contents of Report
[Data of Report]
Report Number:
TM1008
Date of Registration:
1991.02
English Title:
A Study on Boolean Constraint Slovers
Japanese Title:
***
English Author:
S.Menju,K.Sakai,Y.Sato,A.Aiba
Japanese:
***
Name of Organization to which author belongs:
ICOT,ICOT,ICOT,ICOT
PDF:
tm1008.pdf
[Contents]
Abstract
.... 2
1
Introduction
.... 2
2
Preliminaries
.... 3
3
New Boolean Constraint Solver
.... 4
4
Comparison
.... 7
5
Conclusion
.... 9
References
.... 9
End
.... 10
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda