An admissible and optimal algorithm for searching AND/OR graphs
- 1 January 1971
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 2 (2), 117-128
- https://doi.org/10.1016/0004-3702(71)90006-3
Abstract
No abstract availableKeywords
Funding Information
- National Institutes of Health
- U.S. Department of Health, Education and Welfare
This publication has 8 references indexed in Scilit:
- Finding resolution proofs and using duplicate goals in and/or treesInformation Sciences, 1971
- A Planning Problem Solver Based on Look-Ahead in Stochastic Game TreesJournal of the ACM, 1969
- Experiments With Some Programs That Search Game TreesJournal of the ACM, 1969
- A Formal Basis for the Heuristic Determination of Minimum Cost PathsIEEE Transactions on Systems Science and Cybernetics, 1968
- Experiments With a Multipurpose, Theorem-Proving Heuristic ProgramJournal of the ACM, 1968
- Some Studies in Machine Learning Using the Game of Checkers. II—Recent ProgressIBM Journal of Research and Development, 1967
- A chess mating combinations programPublished by Association for Computing Machinery (ACM) ,1966
- Some Studies in Machine Learning Using the Game of CheckersIBM Journal of Research and Development, 1959