Contents of Report

[Data of Report]

	Abstract	.... 2
	Keywords	.... 2
1	Introduction	.... 4
2	Characterizing Consequency-Finding	.... 7
2.1	Characteristics Clauses	.... 8
2.2	Applications	.... 13
3	Skipping Ordered-Linear Resolution	.... 18
3.1	SOL-Resolution	.... 19
3.2	Computing New Characteristics Clauses	.... 24
3.3	Computing Characteristics Clauses	.... 28
4	Variations	.... 30
4.1	Preferring Resolution	.... 30
4.2	Preferring Skip	.... 31
4.3	Between Skipping and Resolving	.... 34
4.4	Approximaion	.... 34
5	Conclusion	.... 35
A	Appendix;Proofs of Theorems	.... 36
	Acknowledgement	.... 47
	References	.... 47
	End	.... 51

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