Cited by 12,738Complexity and Algorithms in GraphsAI-based Problem Solving and PlanningGraph Theory and Algorithms

The DOI matches its Crossref record; 5 of the 7 references it cites were found in a registry or an index.

A Formal Basis for the Heuristic Determination of Minimum Cost Paths

Hart, Peter, Nilsson, Nils, Raphael, Bertram·1968·IEEE Transactions on Systems Science and Cybernetics

Abstract

Although the problem of determining the minimum cost path through a graph arises naturally in a number of interesting applications, there has been no underlying theory to guide the development of efficient search procedures. Moreover, there is no adequate conceptual framework within which the various ad hoc search strategies proposed to date can be compared. This paper describes how heuristic information from the problem domain can be incorporated into a formal mathematical theory of graph searching and demonstrates an optimality property of a class of search strategies.

Overview

Integrity signals

Registry

Crossref · 10.1109/tssc.1968.300136

Cites

5 of 5 references verified0 citation errors · 0 not checkable

Statistics

Recomputing p-values needs the paper’s full text.

Verification

Claims the paper makes

This paper’s full text isn’t openly available, so its claims and self-check weren’t run. The registry and citation checks still apply.

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

Citations

Cites

Flagged first, then by citations

Show all 7 references

2 of the 7 references couldn’t be matched to a known paper.

Research works printed but not linked: 5

  1. Busacker, 1965, 3
  2. Gelernter, 1963, Realization of a geometry-theorem proving machine
  3. Samuel, 1963, Some studies in machine learning using the game of checkers
  4. 1959, The Annals of the Computation Laboratory of Harvard University, 30
  5. Feigenbaum, 1963, Computers and Thought

Cited by

Sorted by citations

Items 101–200 of 1,018

Metadata

Authors
Hart, P., Nilsson, N., & Raphael, B.
Affiliations
SRI International (US)
Venue
IEEE Transactions on Systems Science and Cybernetics
Published
1968
Volume
4
Issue
2
Pages
100-107
ISSN
0536-1567 (ISSN-L)
OpenAlex
W1969483458
Cited by
12,738
References
7
Citations by year
2026: 965 · 2025: 1216 · 2024: 1078 · 2023: 893 · 2022: 855 · 2021: 939 · 2020: 707 · 2019: 610 · 2018: 584 · 2017: 493 · 2016: 471 · 2015: 456 · 2014: 437 · 2013: 466 · 2012: 364
FWCI
7.97
Type
journal article
Language
en
Open access
closed
Locations
IEEE Transactions on Systems Science and Cybernetics (publishedVersion)
Topics
  • Physical Sciences › Computer Science › Computational Theory and Mathematics › Complexity and Algorithms in Graphs
  • Physical Sciences › Computer Science › Artificial Intelligence › AI-based Problem Solving and Planning
  • Physical Sciences › Computer Science › Computational Theory and Mathematics › Graph Theory and Algorithms
Keywords
least-cost path, shortest path, graph search, heuristic search, search strategies, optimality, heuristic information

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review