Contents of Report

[Data of Report]

	Abstract	.... 2
	Keywords	.... 2
1	Introduction	.... 3
2	Dependency-Directed Search	.... 4
2.1	ATMS and Interpretation Construction	.... 4
2.2	ADDB Heuristics with Hyperresolution	.... 4
2.3	Problems of Handling Hierarchy	.... 5
3	Hierarchical Representation	.... 5
3.1	Partial Solution Trees	.... 5
3.2	Genraelized ADDB Heuristics without Hyperresolution	.... 7
4	Hierarchical DDS	.... 8
4.1	Searching Consistent Contexts	.... 8
4.2	Informed Search	.... 10
5	Application to Design	.... 10
6	Related Work	.... 11
6.1	Implied-by Strategy	.... 11
6.2	SSS* Best-First AND/OR Tree Search	.... 11
7	Conclusion	.... 12
	Acknowledgement	.... 12
	References	.... 13
	End	.... 14

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