scispace - formally typeset
Book ChapterDOI

Depth-First Search

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

Vipin Kumar
- 01 Apr 1992 - 
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.