Problem representations and formal properties of heuristic search

This publication has 12 references indexed in Scilit:

• The Q∗ algorithm—a search strategy for a deductive question-answering system
  Artificial Intelligence, 1974
• Correction to "A Formal Basis for the Heuristic Determination of Minimum Cost Paths"
  ACM SIGART Bulletin, 1972
• Edge detection using heuristic search methods
  Computer Graphics and Image Processing, 1972
• Heuristic search
  The Computer Journal, 1971
• An admissible and optimal algorithm for searching AND/OR graphs
  Artificial Intelligence, 1971
• The Unit Proof and the Input Proof in Theorem Proving
  Journal of the ACM, 1970
• Heuristic search viewed as path finding in a graph
  Artificial Intelligence, 1970
• Experiments With Some Programs That Search Game Trees
  Journal of the ACM, 1969
• A Formal Basis for the Heuristic Determination of Minimum Cost Paths
  IEEE Transactions on Systems Science and Cybernetics, 1968
• A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus
  Journal of the ACM, 1963