1614 search results - page 163 / 323 » Breadth-First Heuristic Search |
151
click to vote
LPNMR
2004
Springer
15 years 10 months ago
2004
Springer
A conflict clause represents a backtracking solver’s analysis of why a conflict occurred. This analysis can be used to further prune the search space and to direct the search h...
132
Voted
VISUAL
1999
Springer
15 years 8 months ago
1999
Springer
Search engines are useful because they allow the user to nd information of interest from the World-Wide Web. These engines use a crawler to gather information from Web sites. Howev...
122
Voted
AISC
2006
Springer
15 years 8 months ago
2006
Springer
In program analysis and verification, there are some constraints that have to be processed repeatedly. A possible way to speed up the processing is to find some relations among the...
86
Voted
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we propose an approach to guide search to sources of conflicts. The principle is the following: the last variable involved in the last conflict is selected in priori...
123
click to vote
AAAI
2006
15 years 6 months ago
2006
This paper considers strategies for external memory based optimal planning. An external breadth-first search exploration algorithm is devised that is guaranteed to find the costop...