| 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 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports