| Abstract | .... 2 | |
| 1 | Introduction | .... 2 |
| 2 | Preliminaries | .... 3 |
| 3 | Crucial Literal And An Algorithm For Finding It | .... 4 |
| 4 | Divide-and-Query Algorithm For Finding A Crucial Query | .... 6 |
| 5 | Examples | .... 7 |
| 6 | Concluding Remarks | .... 11 |
| Acknowledgments | .... 11 | |
| Reference | .... 11 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports