Book ChapterDOI
Depth-First Search
Alan Bundy,Lincoln Wallen +1 more
- pp 29-29
TLDR
An uninformed graph searching strategy which searches the graph by exploring each possible path through it until either the required solution or a previously encountered node is encountered, which is neither guaranteed to produce the shortest path to the solution if one exists, nor to find a solution evenif one exists.Abstract:
An uninformed graph searching strategy which searches the graph by exploring each possible path through it until either the required solution or a previously encountered node is encountered. The nodes are expanded in order of depth; with the deepest node expanded first and nodes of equal depth expanded in an arbitrary order. To prevent searching of an infinite path, a depth-bound is usually fixed and nodes below this depth are never generated, thus the strategy is neither guaranteed to produce the shortest path to the solution if one exists, nor to find a solution even if one exists.read more
Citations
More filters
Journal ArticleDOI
Algorithms for constraint-satisfaction problems: a survey
TL;DR: A large number of problems in AI and other areas of computer science can be viewed as special cases of the constraint-satisfaction problem, and a number of different approaches have been developed for solving them.
BookDOI
Handbook of wireless networks and mobile computing
TL;DR: H Handbook of Internet Computing pdf eBook copy write by good Handbook of Wireless Networks and Mobile Computing Google Books.
Journal ArticleDOI
Integrating collection-and-delivery points in the strategic design of urban last-mile e-commerce distribution networks
TL;DR: A non-linear optimization model that includes CDP location decisions and accounts for changes in demand patters occurring with their placement is formulated and applied to a real-world case study of last-mile distribution by a major Brazilian e-commerce player.
Journal ArticleDOI
Partial and Nested Recursive Function Definitions in Higher-order Logic
TL;DR: A tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for reasoning about them and various extensions provide convenience to the user.
Journal ArticleDOI
A Constraint-Based Interactive Train Rescheduling Tool
TL;DR: The design and implementation of a constraint-based interactive train rescheduling tool is reported, in collaboration with the International Institute for Software Technology, United Nations University (UNU/IIST), Macau.